From: whitequark <cz@m-labs.hk>
Date: Tue, 4 Jun 2019 11:34:18 +0000 (+0000)
Subject: build.plat: hide executed commands in quiet builds on Windows.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a33f4c0f337e2156cba643a9152e7099a1d5986a;p=nmigen.git

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

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