Am 2015-10-11 23:57, schrieb Adam Lackorzynski:
On Wed Oct 07, 2015 at 16:35:49 +0200, ba_f wrote:
Am 2015-10-06 23:44, schrieb Adam Lackorzynski:
>>But this cant be it. Some config stuff must be stored somewhere else.
>>For example, the first time i built l4re-snapshot i had to choose
>>between
>>ARM Secure World or Normal World.
>>When re-building the same snapshot (after 'make clean') it doesn't ask
>>me
>>for that, but the previous config is selected, already.
>
>I'm not aware that there's user-interaction for Fiasco's configuration
>when building the snapshot. I wonder how that did pop up.
>
>>Rebuilding:
>>
>>'cd l4re-snapshot/'
>>'make clean'
>>'make setup'
>>'make'
>>
>>Just to clear things up: Re-Building l4re-snapshot-2014022818 works
>>great.
>>But l4re-snapshot-2014022818_TEST does not.
>>
>>'cd l4re-snapshot-2014022818/'
>>'make clean'
>>'cp -r l4re-snapshot-2014022818/ l4re-snapshot-2014022818_TEST/'
>>'cd l4re-snapshot-2014022818_TEST/'
>>'make clean'
>>'make setup'
>>'make'
>
>So we end up with
>l4re-snapshot-2014022818_TEST/l4re-snapshot-2014022818/README
>l4re-snapshot-2014022818_TEST/l4re-snapshot-2014022818/bin
>l4re-snapshot-2014022818_TEST/l4re-snapshot-2014022818/src
> ...
>l4re-snapshot-2014022818_TEST/README
>l4re-snapshot-2014022818_TEST/bin
>l4re-snapshot-2014022818_TEST/src
>etc
>
>?
Nah.
All i wanted to say is that i copied my working snapshot (after 'make
clean') but i run into this bug when the snapshot has another name.
So i have:
$ ls
/home/imsohoteveryonejealous/l4re-snapshot-2014022818
/home/imsohoteveryonejealous/l4re-snapshot-2014022818_TEST
'make setup' always works on l4re-snapshot-2014022818, but never on
l4re-snapshot-2014022818_TEST.
Thanks for the info. I tried to reproduce but had no luck.
Anyway, good to know.
Adam
Ah, found the problem.
I had l4re-snapshot-2014022818 in my permanent PATH.
Removing this lets me build any snapshot, again.
thnx,
ba_f
_______________________________________________
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
