xilinx/ise: source settings files by default on Windows

m-labs · Apr 12, 2016 · c44664d · c44664d
1 parent f7304a1
commit c44664d
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/migen/build/xilinx/ise.py b/migen/build/xilinx/ise.py
@@ -135,7 +135,7 @@ def __init__(self):
         self.ise_commands = ""
 
     def build(self, platform, fragment, build_dir="build", build_name="top",
-            toolchain_path=None, source=None, run=True, mode="xst"):
+            toolchain_path=None, source=True, run=True, mode="xst"):
         if not isinstance(fragment, _Fragment):
             fragment = fragment.get_fragment()
         if toolchain_path is None:
@@ -145,8 +145,6 @@ def build(self, platform, fragment, build_dir="build", build_name="top",
                 toolchain_path = "/cygdrive/c/Xilinx"
             else:
                 toolchain_path = "/opt/Xilinx"
-        if source is None:
-            source = sys.platform != "win32"
 
         platform.finalize(fragment)
         ngdbuild_opt = self.ngdbuild_opt