build.run: Ensure batch script returns proper error code.
authorWilliam D. Jones <thor0505@comcast.net>
Sun, 14 Jul 2019 17:28:19 +0000 (13:28 -0400)
committerwhitequark <cz@m-labs.hk>
Sun, 14 Jul 2019 17:43:33 +0000 (17:43 +0000)
commit3d0d86eed32031cceb5d11a61c4f7ea1c4b11a1a
tree61df546633985dccba21894d3efe468638aba854
parentc88696d7c74bb9ee0fc3cc20d950624ed39868c6
build.run: Ensure batch script returns proper error code.
nmigen/build/run.py