From a33f4c0f337e2156cba643a9152e7099a1d5986a Mon Sep 17 00:00:00 2001
From: whitequark <cz@m-labs.hk>
Date: Tue, 4 Jun 2019 11:34:18 +0000
Subject: [PATCH] build.plat: hide executed commands in quiet builds on
 Windows.

---
 nmigen/build/plat.py | 1 +
 1 file changed, 1 insertion(+)

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")}}
         """,
     }
-- 
2.30.2