Check manual examples for all chapters even if one fails

Closes #1138
gap-system · Mar 14, 2017 · 8cd17b5 · 8cd17b5
1 parent 7e3bb10
commit 8cd17b5
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/etc/ci.sh b/etc/ci.sh
@@ -57,7 +57,6 @@ popd
 COVDIR=coverage
 mkdir -p $COVDIR
 
-
 case ${TEST_SUITE} in
 testmanuals)
     bin/gap.sh -q tst/extractmanuals.g
@@ -69,13 +68,19 @@ testmanuals)
         QUIT_GAP(0);
 GAPInput
 
+    TESTMANUALSPASS=yes
     for ch in tst/testmanuals/*.tst
     do
-        bin/gap.sh -q -L testmanuals.wsp --cover $COVDIR/$(basename $ch).coverage <<GAPInput
+        bin/gap.sh -q -L testmanuals.wsp --cover $COVDIR/$(basename $ch).coverage <<GAPInput || TESTMANUALSPASS=no
         TestManualChapter("$ch");
         QUIT_GAP(0);
 GAPInput
     done
+
+    if [[ $TESTMANUALSPASS = no ]]
+    then
+        exit 1
+    fi
 
     # while we are at it, also test the workspace code
     bin/gap.sh -q --cover $COVDIR/workspace.coverage <<GAPInput