summaryrefslogtreecommitdiff
path: root/ci
diff options
context:
space:
mode:
authorLibravatar Johannes Schindelin <johannes.schindelin@gmx.de>2020-04-08 11:05:32 +0700
committerLibravatar Junio C Hamano <gitster@pobox.com>2020-04-07 22:17:10 -0700
commit5127e8cf7aa78906959d71150200860b4c7e491a (patch)
tree512c6df3d0e14f9eaa53c26b293c458fbf147966 /ci
parentMerge branch 'dd/ci-musl-libc' into HEAD (diff)
downloadtgif-5127e8cf7aa78906959d71150200860b4c7e491a.tar.xz
ci/lib: if CI type is unknown, show the environment variables
This should help with adding new CI-specific if-else arms. Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de> Signed-off-by: Đoàn Trần Công Danh <congdanhqx@gmail.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'ci')
-rwxr-xr-xci/lib.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/ci/lib.sh b/ci/lib.sh
index 87cd29bab6..bda746df68 100755
--- a/ci/lib.sh
+++ b/ci/lib.sh
@@ -138,6 +138,7 @@ then
GIT_TEST_OPTS="--no-chain-lint --no-bin-wrappers $GIT_TEST_OPTS"
else
echo "Could not identify CI type" >&2
+ env >&2
exit 1
fi