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 <whitequark@whitequark.org>
Sun, 14 Jul 2019 17:43:33 +0000 (17:43 +0000)
commitb963449b41ddbfa16f253af89412c94d79a8cda4
tree61df546633985dccba21894d3efe468638aba854
parentee15538cf01c000a8e146f64ae3ec67251ef5685
build.run: Ensure batch script returns proper error code.
nmigen/build/run.py