Extra options

olofk · Nov 19, 2024 · d236508 · d236508
1 parent ba7a140
commit d236508
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/edalize/tools/vcs.py b/edalize/tools/vcs.py
@@ -154,7 +154,8 @@ def setup(self, edam):
 
         # FIXME plusargs
         self.commands.add(
-            ["./" + self.name] + self.tool_options.get("run_options", []),
+            ["./" + self.name, "$(EXTRA_OPTIONS)"]
+            + self.tool_options.get("run_options", []),
             ["run"],
             [self.name],
         )