From 9c3cebc8b5bdafb53085f7fc7788551c8de97e50 Mon Sep 17 00:00:00 2001
From: Michael Davidsaver <mdavidsaver@gmail.com>
Date: Fri, 17 Nov 2017 14:29:53 -0600
Subject: [PATCH] travis-ci: cat output of failed tests

---
 .ci/proveit.sh      | 8 ++++++++
 .ci/travis-build.sh | 2 +-
 2 files changed, 9 insertions(+), 1 deletion(-)
 create mode 100755 .ci/proveit.sh

diff --git a/.ci/proveit.sh b/.ci/proveit.sh
new file mode 100755
index 0000000..cba0ba8
--- /dev/null
+++ b/.ci/proveit.sh
@@ -0,0 +1,8 @@
+#!/bin/sh
+set -e
+
+if ! prove -e cat -f "$1"
+then
+  cat "$1"
+  exit 1
+fi
diff --git a/.ci/travis-build.sh b/.ci/travis-build.sh
index 3a1cbfd..cd8f025 100755
--- a/.ci/travis-build.sh
+++ b/.ci/travis-build.sh
@@ -16,5 +16,5 @@ make -j2 $EXTRA
 if [ "$TEST" != "NO" ]
 then
   make tapfiles
-  find . -name '*.tap' -print0 | xargs -0 -n1 prove -e cat -f
+  find . -name '*.tap' -print0 | xargs -0 -n1 ./.ci/proveit.sh
 fi