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 | |
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')
-rwxr-xr-x | subx/build_and_test_until | 1 | ||||
-rwxr-xr-x | subx/clean | 1 | ||||
-rwxr-xr-x | subx/subx | 1 |
3 files changed, 3 insertions, 0 deletions
diff --git a/subx/build_and_test_until b/subx/build_and_test_until index 25daac2d..874d1254 100755 --- a/subx/build_and_test_until +++ b/subx/build_and_test_until @@ -1,4 +1,5 @@ #!/bin/sh +set -e ./clean top-level # ignore subsidiary tools like tangle and cleave ./build --until $1 && ./subx_bin test diff --git a/subx/clean b/subx/clean index 5243f243..6ee90a9c 100755 --- a/subx/clean +++ b/subx/clean @@ -1,4 +1,5 @@ #!/bin/sh +set -e set -v rm -rf subx.cc subx_bin* *_list 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 "$@" |