This commit is contained in:
2021-06-09 16:31:40 +02:00
parent 468fc5ade9
commit fedc0bbef6
3 changed files with 7 additions and 4 deletions

View File

@@ -106,7 +106,11 @@ else # test wget a bit
fi
[ "$(ghc --numeric-version)" = "${ghc_ver}" ]
eghcup set 8.10.3
eghcup list
which ghc
eghcup set 8.10.3
eghcup list
which ghc
[ "$(ghc --numeric-version)" = "8.10.3" ]
eghcup set ${GHC_VERSION}
[ "$(ghc --numeric-version)" = "${ghc_ver}" ]