Rm status messages

This commit is contained in:
Julian Ospald 2019-12-16 15:13:55 +08:00
parent af5fda0cd6
commit 0036c95c60
No known key found for this signature in database
GPG Key ID: 511B62C09D50CD28
1 changed files with 0 additions and 2 deletions

2
ghcup
View File

@ -1791,10 +1791,8 @@ compile_ghc() {
edo ./boot
if [ "$(echo "${myghcver}" | awk -F. '{printf"%d%03d",$1,$2;}')" -ge 8008 ]; then
status_message "GHC-8.8"
GHC=$(command -v "${bootstrap_ghc}") edo ./configure --prefix="${inst_location}"
else
status_message "GHC-8.6"
edo ./configure --prefix="${inst_location}" --with-ghc="${bootstrap_ghc}"
fi
emake -j${JOBS}