From 0ae27a35d8920b30cbdc9c1a8a38fe0166185f37 Mon Sep 17 00:00:00 2001
From: Andrew Johnson <anj@aps.anl.gov>
Date: Wed, 29 Nov 2017 16:54:01 -0600
Subject: [PATCH] Use 'make test-results' in travis-build script

---
 .ci/proveit.sh      | 8 --------
 .ci/travis-build.sh | 2 +-
 2 files changed, 1 insertion(+), 9 deletions(-)
 delete mode 100755 .ci/proveit.sh

diff --git a/.ci/proveit.sh b/.ci/proveit.sh
deleted file mode 100755
index cba0ba8..0000000
--- a/.ci/proveit.sh
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/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 cd8f025..e5b7c2a 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 ./.ci/proveit.sh
+  make -s test-results
 fi