Ok found: /home/paul/genodemy/genode/repos/gems/run/sculpt_image.run
But still I get:
[paul@betakard genode]$ LANG=C make -C build/x86_64 run/sculpt_image
KERNEL=nova BOARD=pc
make: Entering directory '/home/paul/genodemy/genode/build/x86_64'
including /home/paul/genodemy/genode/tool/run/power_on/qemu
including /home/paul/genodemy/genode/tool/run/log/qemu
including /home/paul/genodemy/genode/tool/run/image/iso
including /home/paul/genodemy/genode/tool/run/boot_dir/nova
including /home/paul/genodemy/genode/repos/gems/run/sculpt_image.run
missing run-tool argument: --include image/disk
make: *** [Makefile:446: run/sculpt_image] Error 1
_______________________________________________
users mailing list -- users@lists.genode.org
To unsubscribe send an email to users-le...@lists.genode.org
Archived at
https://lists.genode.org/mailman3/hyperkitty/list/users@lists.genode.org/message/5RT75I6VCWSZPCVCXU2PVD6P7PU2HZO6/