From 63c4123f6ed2db8c866d3891b9e296e044c58e5c Mon Sep 17 00:00:00 2001
From: whitequark <whitequark@whitequark.org>
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