mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
This patch makes the build step of the create tool conditional. If merely creating api, src, pkg, or raw archives, the invocation of the 'build' tool can be skipped. Otherwise, the heap message for the 'build' tool is displayed (because it is called w/o any arguments), which is misleading to the user.