Use $MAKE
if set, otherwise fall back to system specific make
command
#684
Job | Run time |
---|---|
1h 42m 47s | |
1h 42m 47s |
$MAKE
if set, otherwise fall back to system specific make
command
#684
Job | Run time |
---|---|
1h 42m 47s | |
1h 42m 47s |