diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-02-23 14:53:53 -0500 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-02-26 15:10:09 -0500 |
| commit | 273e60dee183707315415799ae3ed08079ab9ee9 (patch) | |
| tree | 871e7dde5ea39d18eb9a12cca98c34adddbf8928 | |
| parent | 972bcf3a1971691ec809452322404ce8f65ad721 (diff) | |
| download | haskell-273e60dee183707315415799ae3ed08079ab9ee9.tar.gz | |
gitlab-ci: Add shell subcommand for debugging within CI environment
| -rwxr-xr-x | .gitlab/ci.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index 29421e56f7..7df32b3e35 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -408,6 +408,15 @@ function clean() { run rm -Rf _build } +# A convenience function to allow debugging in the CI environment. +function shell() { + local cmd=$@ + if [ -z "$cmd" ]; then + cmd="bash -i" + fi + run $cmd +} + # Determine Cabal data directory case "$(uname)" in MSYS_*|MINGW*) exe=".exe"; cabal_dir="$APPDATA/cabal" ;; @@ -437,5 +446,6 @@ case $1 in build_hadrian) build_hadrian ;; test_hadrian) fetch_perf_notes; test_hadrian; push_perf_notes ;; clean) clean ;; + shell) shell $@ ;; *) fail "unknown mode $1" ;; esac |