about summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorKartik Agaram <vc@akkartik.com>2018-10-28 00:02:11 -0700
committerKartik Agaram <vc@akkartik.com>2018-10-28 00:02:11 -0700
commit5f842b0e5e27fe0b3acef958c87a91713a938455 (patch)
tree246832a00cef61d7a19854266719937371b8166e
parent120dbb118602b4b9ad6d4ba34c21aa988cae1dde (diff)
downloadmu-5f842b0e5e27fe0b3acef958c87a91713a938455.tar.gz
4728
What is this '|| exit 1' construct?! No need for it in the presence of
ERREXIT.
-rwxr-xr-xsubx/test_layers2
1 files changed, 1 insertions, 1 deletions
diff --git a/subx/test_layers b/subx/test_layers
index 51fa905f..5f210c31 100755
--- a/subx/test_layers
+++ b/subx/test_layers
@@ -10,7 +10,7 @@ cd `dirname $0`
 for f in [0-9]*cc
 do
   echo "=== $f"
-  ./build_and_test_until $f  ||  exit 1
+  ./build_and_test_until $f
 done
 
 # add SubX files one at a time