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/clean | |
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/clean')
-rwxr-xr-x | subx/clean | 1 |
1 files changed, 1 insertions, 0 deletions
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 |