Use $MAKE if set, otherwise fall back to system specific make command
#1978
| Job | Run time |
|---|---|
| 5m 48s | |
| 5m 46s | |
| 2m 24s | |
| 3m 12s | |
| 5m 42s | |
| 5m 47s | |
| 5m 45s | |
| 5m 46s | |
| 40m 10s |