From e98c30ec6a5dfb057618c4149374b786a16fe653 Mon Sep 17 00:00:00 2001
From: Alexander Konovalov <alexk@mcs.st-andrews.ac.uk>
Date: Sun, 12 Mar 2017 17:43:44 +0000
Subject: [PATCH] Check manual examples for all chapters even if one fails

Closes #1138
---
 etc/ci.sh | 20 +++++++++++++++-----
 1 file changed, 15 insertions(+), 5 deletions(-)

diff --git a/etc/ci.sh b/etc/ci.sh
index c7e3968153f..6809a6ba8c5 100644
--- a/etc/ci.sh
+++ b/etc/ci.sh
@@ -57,7 +57,14 @@ popd
 COVDIR=coverage
 mkdir -p $COVDIR
 
-
+TestManualChapter () {
+        if ! bin/gap.sh -q -L testmanuals.wsp --cover $COVDIR/$(basename $1).coverage \
+        <(echo "TestManualChapter(\"$1\"); QUIT_GAP(0);")
+        then
+            TESTMANUALSPASS=no
+        fi
+}
+    
 case ${TEST_SUITE} in
 testmanuals)
     bin/gap.sh -q tst/extractmanuals.g
@@ -69,14 +76,17 @@ 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
-        TestManualChapter("$ch");
-        QUIT_GAP(0);
-GAPInput
+        TestManualChapter $ch
     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
         SetUserPreference("ReproducibleBehaviour", true);