[Freemint-list] FreeMiNT continuous integration

[Peter Slegg]

On Sun, 16 Apr 2017 23:28:03 , Miro Kropá?ek wrote:
> On 16 April 2017 at 23:16, Peter Slegg <p.slegg at scubadivers.co.uk> wrote:
>
> > Could mint.ini be moved to AUTO so it is with mintldr ?
>
>
> This wouldn't do much good -- imagine you have two setups, one stable (say
> with MMU enabled, logs off) and one with the opposite (MMU off, logs on).
> You wouldn't want to overwrite each other, $SYSDIR is the right place for
> it.
>

Or have a hierarchy of mint.ini ?

One in AUTO that can be overriden by one in the sysdir ?

Peter