mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-25 19:21:39 +00:00
The option is used during the generation of initcall_table.c. However, it happens to strip the first argument following the option. The long option --defined-only works as expected. Issue #5155