Welcome to mirror list, hosted at ThFree Co, Russian Federation.

git.kernel.org/pub/scm/git/git.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
path: root/ci
diff options
context:
space:
mode:
authorJohannes Schindelin <johannes.schindelin@gmx.de>2020-04-08 07:05:32 +0300
committerJunio C Hamano <gitster@pobox.com>2020-04-08 08:17:10 +0300
commit5127e8cf7aa78906959d71150200860b4c7e491a (patch)
tree512c6df3d0e14f9eaa53c26b293c458fbf147966 /ci
parent54711243407791b188bf338e105cdc6d81ee4402 (diff)
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