diff options
Diffstat (limited to 'ci/print-test-failures.sh')
| -rwxr-xr-x | ci/print-test-failures.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/ci/print-test-failures.sh b/ci/print-test-failures.sh index 7aef39a..cf321b4 100755 --- a/ci/print-test-failures.sh +++ b/ci/print-test-failures.sh @@ -38,6 +38,14 @@ do test_name="${TEST_EXIT%.exit}" test_name="${test_name##*/}" trash_dir="trash directory.$test_name" + case "$CI_TYPE" in + travis) + ;; + *) + echo "Unhandled CI type: $CI_TYPE" >&2 + exit 1 + ;; + esac trash_tgz_b64="trash.$test_name.base64" if [ -d "$trash_dir" ] then |