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