diff options
author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2020-04-08 11:05:32 +0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2020-04-07 22:17:10 -0700 |
commit | 5127e8cf7aa78906959d71150200860b4c7e491a (patch) | |
tree | 512c6df3d0e14f9eaa53c26b293c458fbf147966 /ci | |
parent | Merge branch 'dd/ci-musl-libc' into HEAD (diff) | |
download | tgif-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-x | ci/lib.sh | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |