From: whitequark <whitequark@whitequark.org>
Date: Tue, 4 Jun 2019 11:34:18 +0000 (+0000)
Subject: build.plat: hide executed commands in quiet builds on Windows.
X-Git-Tag: locally_working~190
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=63c4123f6ed2db8c866d3891b9e296e044c58e5c;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")}}
         """,
     }