diff --git a/.travis.yml b/.travis.yml
index 5bc7c2797e..f0a69ce3de 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -59,9 +59,4 @@ script:
   - ./configure --with-gmp=system
   - make
   - make bootstrap-pkg-full
-  - if [[ x"$ABI" != "x32" ]] ; then cd pkg/io* ; ./configure ; make ; cd ../.. ; cd pkg/profiling* ; ./configure ; make ; cd ../.. ; fi
-  - if [[ $TEST_SUITE = 'makemanuals' && $TRAVIS_OS_NAME = 'linux' ]]; then make manuals ; cat doc/*/make_manuals.out ; if [ `cat doc/*/make_manuals.out | grep -c "manual.lab written"` != '3' ]; then echo "Build failed"; exit 1; fi; fi
-  - if [[ $TEST_SUITE != 'makemanuals' && x"$ABI" != "x32" ]]; then echo "Read(\"tst/${TEST_SUITE}.g\"); quit;" | sh bin/gap.sh --cover coverage | tee testlog.txt | grep --colour=always -E "########> Diff|$" ; echo "CoverToJson(\"coverage\", \"coverage.json\"); quit;" | sh bin/gap.sh etc/cover2json.g ; cd bin/x86* ; gcov -o . ../../src/* ; cd ../.. ; cat testlog.txt | tail -n 2 | grep "total"; ( ! grep "########> Diff" testlog.txt ) ; fi
-  - if [[ $TEST_SUITE != 'makemanuals' && x"$ABI" = "x32" ]]; then echo "Read(\"tst/${TEST_SUITE}.g\"); quit;" | sh bin/gap.sh | tee testlog.txt | grep --colour=always -E "########> Diff|$" ; cat testlog.txt | tail -n 2 | grep "total"; ( ! grep "########> Diff" testlog.txt ) ; fi
-  
-
+  - bash etc/ci.sh
diff --git a/etc/ci.sh b/etc/ci.sh
new file mode 100644
index 0000000000..8a2444d1ce
--- /dev/null
+++ b/etc/ci.sh
@@ -0,0 +1,41 @@
+#!/usr/bin/env bash
+
+# Continous integration testing script
+
+if [[ $TEST_SUITE = 'makemanuals' && $TRAVIS_OS_NAME = 'linux' ]]
+then
+    make manuals
+    cat doc/*/make_manuals.out
+    if [ `cat doc/*/make_manuals.out | grep -c "manual.lab written"` != '3' ]
+    then
+        echo "Build failed"
+        exit 1
+    fi
+else
+    if [[ x"$ABI" == "x32" ]]
+    then
+        echo "Read(\"tst/${TEST_SUITE}.g\"); quit;" |\
+           sh bin/gap.sh |\
+           tee testlog.txt |\
+           grep --colour=always -E "########> Diff|$"
+    else
+        cd pkg/io*
+        ./configure
+        make
+        cd ../..
+        cd pkg/profiling*
+        ./configure
+        make
+        cd ../..
+        echo "Read(\"tst/${TEST_SUITE}.g\"); quit;" |\
+            sh bin/gap.sh --cover coverage |\
+            tee testlog.txt |\
+            grep --colour=always -E "########> Diff|$"
+        echo "CoverToJson(\"coverage\", \"coverage.json\"); quit;" |\
+            sh bin/gap.sh etc/cover2json.g
+        cd bin/x86* ; gcov -o . ../../src/*
+        cd ../..
+    fi;
+    cat testlog.txt | tail -n 2 |\
+        grep "total"; ( ! grep "########> Diff" testlog.txt )
+fi;