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 /build_and_test_until | |
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 'build_and_test_until')
-rwxr-xr-x | build_and_test_until | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build_and_test_until b/build_and_test_until index 3e353885..2220be17 100755 --- a/build_and_test_until +++ b/build_and_test_until @@ -1,4 +1,5 @@ #!/bin/sh +set -e ./clean top-level ./build --until $1 && ./mu_bin test |