set -e doesn't apply to ( ) blocks

R=r
DELTA=6  (0 added, 0 deleted, 6 changed)
OCL=18044
CL=18068

diff --git a/src/run.bash b/src/run.bash
index c88fa57a231b44a419237263a1aec267fbb7954c..449e7ed23423da710777f3a89f741bfd84a39a06 100755 (executable)
--- a/src/run.bash
+++ b/src/run.bash
@@ -15,28 +15,27 @@ xcd() {
 make clean
 time make
 bash test.bash
-)
+) || exit $?
 
 (xcd lib/regexp
 make clean
 time make
 make test
-)
+) || exit $?
 
 (xcd ../usr/gri/gosrc
 make clean
 time make
 # make test
-)
+) || exit $?
 
 (xcd ../usr/gri/pretty
 make clean
 time make
 make test
-)
-
+) || exit $?
 
 (xcd ../test
 ./run
-)
+) || exit $?