cli_function: extra argument for per-script configs

2026-01-26 03:31:36 +01:00 · 2019-01-22 00:00:00 +00:00
parent 44a674e87d
commit 091ca99902
3 changed files with 12 additions and 4 deletions
--- a/config.py
+++ b/config.py
@@ -1,3 +1,6 @@
-def set_args(args):
+def set_args(args, script_name):
    args['arch'] = 'aarch64'
    args['gem5'] = True
+    if script_name == 'build-gem5':
+        # This argument is defined only for ./build-gem5.
+        args['extra_scons_args'] = ['ADSF=qwer']