travis-ci: save prove state for the 32 bit Linux build

diff --git a/ci/lib-travisci.sh b/ci/lib-travisci.sh
index 8e75982a916ad1352df35eeadcbb7b9272d0f3f6..348fe3c3c1d304f9887c24e023a90123ad43d0c8 100755 (executable)
--- a/ci/lib-travisci.sh
+++ b/ci/lib-travisci.sh
@@ -22,8 +22,10 @@ skip_branch_tip_with_tag () {
 }
 
 # Set 'exit on error' for all CI scripts to let the caller know that
-# something went wrong
-set -e
+# something went wrong.
+# Set tracing executed commands, primarily setting environment variables
+# and installing dependencies.
+set -ex
 
 skip_branch_tip_with_tag
 
@@ -40,6 +42,8 @@ export GIT_TEST_CLONE_2GB=YesPlease
 
 case "$jobname" in
 linux-clang|linux-gcc)
+       export GIT_TEST_HTTPD=YesPlease
+
        # The Linux build installs the defined dependency versions below.
        # The OS X build installs the latest available versions. Keep that
        # in mind when you encounter a broken OS X build!