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.

1 files changed, 1 insertions, 0 deletions

diff --git a/clean b/clean
index e9b2eeb9..3b629daa 100755
--- a/clean
+++ b/clean
@@ -1,4 +1,5 @@
 #!/bin/sh
+set -e
 
 set -v
 rm -rf mu.cc core.mu mu_bin* *_list .build