From 5dc42f08c1891a4bb5a7a1b0fcf049f836271146 Mon Sep 17 00:00:00 2001 From: Julian Ospald Date: Mon, 1 Oct 2018 14:14:01 +0800 Subject: [PATCH] Fix bug with JOBS being set incorrectly --- ghcup | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ghcup b/ghcup index 72d7066..d337d0a 100755 --- a/ghcup +++ b/ghcup @@ -956,7 +956,7 @@ while [ $# -gt 0 ] ; do -h|--help) install_usage;; -f|--force) FORCE=true shift 1;; - -j|--jobs) JOBS=$1 + -j|--jobs) JOBS=$2 shift 2;; *) GHC_VER=$1 break;;