diff options
author | Kartik Agaram <vc@akkartik.com> | 2018-10-28 00:02:11 -0700 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2018-10-28 00:02:11 -0700 |
commit | 5f842b0e5e27fe0b3acef958c87a91713a938455 (patch) | |
tree | 246832a00cef61d7a19854266719937371b8166e | |
parent | 120dbb118602b4b9ad6d4ba34c21aa988cae1dde (diff) | |
download | mu-5f842b0e5e27fe0b3acef958c87a91713a938455.tar.gz |
4728
What is this '|| exit 1' construct?! No need for it in the presence of ERREXIT.
-rwxr-xr-x | subx/test_layers | 2 |
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 |