diff options
Diffstat (limited to '.gitlab/ci.sh')
-rwxr-xr-x | .gitlab/ci.sh | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index ff612f663e..d3e922ff86 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -139,12 +139,6 @@ function set_toolchain_paths() { export CABAL export HAPPY export ALEX - - # FIXME: Temporarily use ghc from ports - case "$(uname)" in - FreeBSD) GHC="/usr/local/bin/ghc" ;; - *) ;; - esac } # Extract GHC toolchain |