[Freemint-list] FreeMiNT continuous integration

[Miro Kropáček]

On 18 April 2017 at 20:53, Jo Even Skarstein <joska at online.no> wrote:

> However, one could move the entire MiNT bootmenu to the loader and add
> an option to select build number. Then you'd still have only one
> bootmenu.
>
Yes, this was my idea. I'm just not sure whether it's OK for everybody
(especially Alan :-)) as it's rather major change how MINT.PRG is loaded.

I personally am in favour of this as it nicely unifies the way how Aranym
and TOS would start the kernel.

-- 
MiKRO / Mystic Bytes
http://mikro.atari.org
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mail.atariforge.org/pipermail/freemint-list/attachments/20170421/34b01c4c/attachment.html