Remove job setting from 'make install', because it's broken

This commit is contained in:
Julian Ospald 2018-10-01 14:18:53 +08:00
parent 49e05a0d15
commit acc0581c08
No known key found for this signature in database
GPG Key ID: 511B62C09D50CD28

5
ghcup
View File

@ -156,7 +156,6 @@ USAGE:
FLAGS: FLAGS:
-h, --help Prints help information -h, --help Prints help information
-f, --force Overwrite already existing installation -f, --force Overwrite already existing installation
-j, --jobs <n> How many jobs for installation
ARGS: ARGS:
<VERSION> E.g. \"8.4.3\" or \"8.6.1\" <VERSION> E.g. \"8.4.3\" or \"8.6.1\"
@ -606,7 +605,7 @@ install_ghc() {
debug_message "Installing GHC into ${inst_location}" debug_message "Installing GHC into ${inst_location}"
edo ./configure --prefix="${inst_location}" edo ./configure --prefix="${inst_location}"
edo make -j${JOBS} install edo make install
# clean up # clean up
edo cd .. edo cd ..
@ -956,8 +955,6 @@ while [ $# -gt 0 ] ; do
-h|--help) install_usage;; -h|--help) install_usage;;
-f|--force) FORCE=true -f|--force) FORCE=true
shift 1;; shift 1;;
-j|--jobs) JOBS=$2
shift 2;;
*) GHC_VER=$1 *) GHC_VER=$1
break;; break;;
esac esac