Use $MAKE if set, otherwise fall back to system specific make command
#1979
| Job | Run time |
|---|---|
| 9m 25s | |
| 9m 55s | |
| 3m 40s | |
| 4m 7s | |
| 9m 50s | |
| 1m 12s | |
| 1m 38s | |
| 1m 14s | |
| 41m 1s |