Merge branch 'en/rebase-i-microfixes'

diff --git a/ci/print-test-failures.sh b/ci/print-test-failures.sh
index 8c8973cbf365ed18c1a20b81ec2bcd4a873f62b7..4f261ddc012fb162b7d414b065fe251ceff91bee 100755 (executable)
--- a/ci/print-test-failures.sh
+++ b/ci/print-test-failures.sh
@@ -5,6 +5,15 @@
 
 . ${0%/*}/lib-travisci.sh
 
+# Tracing executed commands would produce too much noise in the loop below.
+set +x
+
+if ! ls t/test-results/*.exit >/dev/null 2>/dev/null
+then
+       echo "Build job failed before the tests could have been run"
+       exit
+fi
+
 for TEST_EXIT in t/test-results/*.exit
 do
        if [ "$(cat "$TEST_EXIT")" != "0" ]