fix(framework): update nix build call to use irq flags correctly

Signed-off-by: Diogo Costa <[email protected]>
bao-project · Jun 1, 2024 · 1c768fe · 1c768fe
1 parent 51a8009
commit 1c768fe
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/framework/test_framework.py b/framework/test_framework.py
@@ -280,9 +280,10 @@ def move_results_to_output():
     BUILD_CMD += " --argstr log_level " + str(args.log_level)
 
     if args.gicv:
-        BUILD_CMD += " --argstr irq_controller " + args.gicv
+        BUILD_CMD += " --argstr GIC_VERSION " + args.gicv
     else:
-        BUILD_CMD += " --argstr irq_controller " + args.irqc + "\\ " + args.ipic
+        BUILD_CMD += " --argstr IRQC " + args.irqc + "\\ "
+        BUILD_CMD +=  "--argstr IPIC " + args.ipic
 
     print("Building with command: " + BUILD_CMD)
     res = os.system(BUILD_CMD)