Fix CI
This commit is contained in:
parent
0ff7ebb1fd
commit
34b9ea7d20
@ -74,7 +74,7 @@ ghci-$(ghc --numeric-version) --version
|
|||||||
if [ "${OS}" = "DARWIN" ] ; then
|
if [ "${OS}" = "DARWIN" ] ; then
|
||||||
eghcup install 8.4.4
|
eghcup install 8.4.4
|
||||||
else # test wget a bit
|
else # test wget a bit
|
||||||
eghcup install --downloader=wget 8.4.4
|
eghcup --downloader=wget install 8.4.4
|
||||||
fi
|
fi
|
||||||
[ "$(ghc --numeric-version)" = "${ghc_ver}" ]
|
[ "$(ghc --numeric-version)" = "${ghc_ver}" ]
|
||||||
eghcup set 8.4.4
|
eghcup set 8.4.4
|
||||||
|
Loading…
Reference in New Issue
Block a user