Fix bug with JOBS being set incorrectly

2018-10-01 14:14:01 +08:00 · 2018-10-01 14:14:01 +08:00 · 5dc42f08c1
commit 5dc42f08c1
parent 2e0501628b
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -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;;