diff options
Diffstat (limited to '.gitlab/ci.sh')
| -rwxr-xr-x | .gitlab/ci.sh | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index 99c7e8bfa5..2e0118bf2f 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -176,13 +176,7 @@ function set_toolchain_paths() { *) ;; esac - if [[ -n "${IN_NIX_SHELL:-}" ]]; then - needs_toolchain="" - GHC="$(which ghc)" - CABAL="$(which cabal)" - HAPPY="$(which happy)" - ALEX="$(which alex)" - elif [[ -n "$needs_toolchain" ]]; then + if [[ -n "$needs_toolchain" ]]; then # These are populated by setup_toolchain GHC="$toolchain/bin/ghc$exe" CABAL="$toolchain/bin/cabal$exe" |