build.plat: hide executed commands in quiet builds on Windows.

2019-06-04 11:34:18 +00:00 · 2019-06-04 11:34:18 +00:00 · 63c4123f6e
parent 1d3e9c8331
commit 63c4123f6e
1 changed files with 1 additions and 0 deletions
--- a/nmigen/build/plat.py
+++ b/nmigen/build/plat.py
@ -188,6 +188,7 @@ class TemplatedPlatform(Platform):
        """,
        "build_{{name}}.bat": """
            @rem {{autogenerated}}
+            {{quiet("@echo off")}}
            {{emit_commands("bat")}}
        """,
    }