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

diff --git a/nmigen/build/plat.py b/nmigen/build/plat.py
index 7ab2d7d01e1e476393211ac5c288c42d34172da2..6098b2a61f19311bc851bfd97cd2a2320fb40f85 100644 (file)
--- 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")}}
         """,
     }