diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2018-02-20 01:36:02 -0800 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2018-02-20 01:38:15 -0800 |
commit | ba838feae98ad0e3a403429422bad3f6fa4367cc (patch) | |
tree | 56df29adee7d0394a2cc359e930c36e4f410602c /subx/subx | |
parent | cd1113882450382ebe39db7dd8690812bac1aba7 (diff) | |
download | mu-ba838feae98ad0e3a403429422bad3f6fa4367cc.tar.gz |
4211
Just ran into first issue from using the portable /bin/sh rather than a modern shell: https://stackoverflow.com/questions/15744421/read-command-doesnt-wait-for-input Turn on errexit everywhere.
Diffstat (limited to 'subx/subx')
-rwxr-xr-x | subx/subx | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/subx/subx b/subx/subx index 5d7a237c..257e2f13 100755 --- a/subx/subx +++ b/subx/subx @@ -1,4 +1,5 @@ #!/bin/sh # Run SubX VM, first compiling if necessary. +set -e ./build && ./subx_bin "$@" |