|
|
|
@ -424,7 +424,7 @@ function doHelp() { |
|
|
|
|
echo " --cores NUM" |
|
|
|
|
echo " --keep-failed" |
|
|
|
|
echo " --keep-going" |
|
|
|
|
echo " --max-jobs NUM" |
|
|
|
|
echo " -j, --max-jobs NUM" |
|
|
|
|
echo " --option NAME VALUE" |
|
|
|
|
echo " --show-trace" |
|
|
|
|
echo " --(no-)substitute" |
|
|
|
@ -501,7 +501,7 @@ while [[ $# -gt 0 ]]; do |
|
|
|
|
PASSTHROUGH_OPTS+=("$opt" "$1" "$2") |
|
|
|
|
shift 2 |
|
|
|
|
;; |
|
|
|
|
--max-jobs|--cores) |
|
|
|
|
-j|--max-jobs|--cores) |
|
|
|
|
PASSTHROUGH_OPTS+=("$opt" "$1") |
|
|
|
|
shift |
|
|
|
|
;; |
|
|
|
|