ci: inherit --jobs via MAKEFLAGS in run-build-and-tests

diff --git a/ci/print-test-failures.sh b/ci/print-test-failures.sh
index 7aef39a2fd249f26f0bb43b7495659478cb04356..cf321b474df32a25946e38425fc552702f2f0ace 100755 (executable)
--- a/ci/print-test-failures.sh
+++ b/ci/print-test-failures.sh
@@ -38,6 +38,14 @@ do
                test_name="${TEST_EXIT%.exit}"
                test_name="${test_name##*/}"
                trash_dir="trash directory.$test_name"
+               case "$CI_TYPE" in
+               travis)
+                       ;;
+               *)
+                       echo "Unhandled CI type: $CI_TYPE" >&2
+                       exit 1
+                       ;;
+               esac
                trash_tgz_b64="trash.$test_name.base64"
                if [ -d "$trash_dir" ]
                then