[PATCH 1/5] ci/lib: if CI type is unknown, show the environment variables
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 --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
--
gitgitgadget