Fix spike bug cause by extra_args config

tum-ei-eda · Jun 15, 2022 · 373d533 · 373d533
1 parent 292ec9d
commit 373d533
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/mlonmcu/target/riscv.py b/mlonmcu/target/riscv.py
@@ -96,7 +96,13 @@ def abi(self):
 
     @property
     def extra_args(self):
-        return str(self.config["extra_args"])
+        ret = self.config["extra_args"]
+        if isinstance(ret, str):
+            if len(ret) == 0:
+                ret = []
+            else:
+                ret = [ret]  # TODO: properly split quoted args
+        return ret
 
     @property
     def timeout_sec(self):