mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-13 15:56:32 +00:00
Renaming 'get_cmd_switch' and 'get_cmd_arg' to 'have_cmd_arg' and 'cmd_arg' respectively blends in nicely with the now omnipresent pattern with 'have_[spec|board|installed|include]'. This commit deprecates 'get_cmd_switch' and 'get_cmd_arg', which will be removed in a later commit. Issue #5432