Add run_script to build options

amaranth-lang · Feb 24, 2021 · 3db36a6 · 3db36a6
1 parent f7c2b94
commit 3db36a6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/nmigen/build/plat.py b/nmigen/build/plat.py
@@ -96,7 +96,7 @@ def build(self, elaboratable, name="top",
         if not do_build:
             return plan
 
-        products = plan.execute_local(build_dir)
+        products = plan.execute_local(build_dir, run_script=kwargs.get("run_script", True))
         if not do_program:
             return products