diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2022-04-13 17:36:30 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-04-27 10:04:55 -0400 |
| commit | 2dcdf091960d3b8bafc23d0ab0e0be8aa6871d8b (patch) | |
| tree | d3f5b30e479327f17257f75bc50c10d9f52d7fda | |
| parent | 50d78d3bad4fda94ca32fd484578543b03aa0a6c (diff) | |
| download | haskell-2dcdf091960d3b8bafc23d0ab0e0be8aa6871d8b.tar.gz | |
ci: Fix shell command
| -rwxr-xr-x | .gitlab/ci.sh | 4 |
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 |