Run script issue

Christian Helmuth christian.helmuth at ...1...
Mon Jan 19 11:30:54 CET 2015


On Mon, Jan 19, 2015 at 01:09:33PM +0530, Vasan wrote:
> In the script, the switch executable is being asked to be made
> under "server" directory location through this line:
> build "core init server/switch"
> But the image is getting built from the bin directory through this line
> build_boot_image "core init switch"
> Since the switch executable is getting generated in server directory, if
> you change this, then it should be hopefully proceeding ahead.

That's not quite true. The step just declares that the target, i.e.
the file, must be found in any repository declared in the
RESPOSITORIES variable under


Please refer to doc/build_system.txt Section "Building targets".

Christian Helmuth
Genode Labs · · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the users mailing list