summaryrefslogtreecommitdiff
path: root/.gitlab/ci.sh
diff options
context:
space:
mode:
authorMatthew Pickering <matthewtpickering@gmail.com>2022-04-13 17:36:30 +0100
committerMarge Bot <ben+marge-bot@smart-cactus.org>2022-04-27 10:04:55 -0400
commit2dcdf091960d3b8bafc23d0ab0e0be8aa6871d8b (patch)
treed3f5b30e479327f17257f75bc50c10d9f52d7fda /.gitlab/ci.sh
parent50d78d3bad4fda94ca32fd484578543b03aa0a6c (diff)
downloadhaskell-2dcdf091960d3b8bafc23d0ab0e0be8aa6871d8b.tar.gz
ci: Fix shell command
Diffstat (limited to '.gitlab/ci.sh')
-rwxr-xr-x.gitlab/ci.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh
index f4ccd269b2..917e9d5e4d 100755
--- a/.gitlab/ci.sh
+++ b/.gitlab/ci.sh
@@ -668,7 +668,7 @@ function run_hadrian() {
# A convenience function to allow debugging in the CI environment.
function shell() {
- local cmd="*@"
+ local cmd="${@: 1}"
if [ -z "$cmd" ]; then
cmd="bash -i"
fi
@@ -774,6 +774,6 @@ case $1 in
cabal_test) cabal_test ;;
clean) clean ;;
save_cache) save_cache ;;
- shell) shell "$@" ;;
+ shell) shift; shell "$@" ;;
*) fail "unknown mode $1" ;;
esac