[Freemint-list] Githib trunk build

[Peter Slegg]

On Sat, 6 May 2017 23:13:37 , Miro Kropá?ek wrote:
> >
> > Which folder does the new trunk build mintmil.prg use for mint ?
> >
> It should be \mint\1-19-f1c but you have raised a very valid point --
> perhaps the "old school" archive shouldn't use the commit id suffix but the
> classic -cur one. But that requires basically recompile everything. I guess
> I'll take a look, have an idea how to work around that.
 
When mint can't start it drops into MIS.

Is there any benefit from going to the Mint boot menu first
with an added MIS option ?

Maybe it could be set-up to allow a different boot folder to be chosen ?

Peter