diff options
author | Ævar Arnfjörð Bjarmason <avarab@gmail.com> | 2021-11-23 19:29:10 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2021-11-24 03:51:53 +0300 |
commit | c08bb260105fc7307be65f30e65c0f7305f0e3ce (patch) | |
tree | 5324d5e9d179b4e4fc6b5a1b29280b0990c137d8 /ci/run-docker-build.sh | |
parent | df7375d77287f3665867b99ae18fc3cbe3289a67 (diff) |
CI: rename the "Linux32" job to lower-case "linux32"
As a follow-up to the preceding commit's shortening of CI job names,
rename the only job that starts with an upper-case letter to be
consistent with the rest. It was added in 88dedd5e72c (Travis: also
test on 32-bit Linux, 2017-03-05).
Signed-off-by: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'ci/run-docker-build.sh')
-rwxr-xr-x | ci/run-docker-build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/run-docker-build.sh b/ci/run-docker-build.sh index 5d2764ad3a..6cd832efb9 100755 --- a/ci/run-docker-build.sh +++ b/ci/run-docker-build.sh @@ -15,7 +15,7 @@ then fi case "$jobname" in -Linux32) +linux32) switch_cmd="linux32 --32bit i386" ;; linux-musl) |