diff mbox series

[1/5] ci/lib: if CI type is unknown, show the environment variables

Message ID 447ea0c2f6dc9403af3a8f0bae6c23f82bc96838.1585658913.git.gitgitgadget@gmail.com (mailing list archive)
State New, archived
Headers show
Series [1/5] ci/lib: if CI type is unknown, show the environment variables | expand

Commit Message

Linus Arver via GitGitGadget March 31, 2020, 12:48 p.m. UTC 
From: Johannes Schindelin <johannes.schindelin@gmx.de>

This should help with adding new CI-specific if-else arms.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
---
 ci/lib.sh | 1 +
 1 file changed, 1 insertion(+)
diff mbox series

Patch

diff --git a/ci/lib.sh b/ci/lib.sh
index a90d0dc0fd2..8d73551a12f 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