ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-03-14 08:16:28 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
13,908 Commits 2 Branches 71 Tags
Commit Graph

2 Commits

Author SHA1 Message Date
Roman Iten
5ebcf36d69 tool/run: introduce '[have_]cmd_arg'-procs 
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
 2025-02-24 16:39:20 +01:00
Alexander Boettcher
a8b3193d73 tool: use bender hwp options also for foc and seL4 
Issue #5406
 2025-01-30 16:30:14 +01:00