build.plat: hide executed commands in quiet builds on Windows.
authorwhitequark <cz@m-labs.hk>
Tue, 4 Jun 2019 11:34:18 +0000 (11:34 +0000)
committerwhitequark <cz@m-labs.hk>
Tue, 4 Jun 2019 11:34:18 +0000 (11:34 +0000)
commita33f4c0f337e2156cba643a9152e7099a1d5986a
tree25ffdedea6ff890367c32bdbbd740986c114f027
parent495da659a7a21badbf47e6fcb68e51a6ef2bcef8
build.plat: hide executed commands in quiet builds on Windows.
nmigen/build/plat.py