Searched refs:JOBS (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/hake/ | ||
H A D | hake.sh | 16 JOBS="$DEFAULT_JOBS" 128 JOBS="$2" 257 echo "Running $JOBS jobs at once (-j N to change this)." 258 make -j "$JOBS" help |
Completed in 10 milliseconds