Makefile: Allow custom extensions for exports and spec flags #2002
| Job | Run time |
|---|---|
| 11m 9s | |
| 12m 3s | |
| 11m 21s | |
| 10m 48s | |
| 10m 28s | |
| 10m 39s | |
| 10m 31s | |
| 10m 46s | |
| 11m 1s | |
| 1h 38m 46s |
| Job | Run time |
|---|---|
| 11m 9s | |
| 12m 3s | |
| 11m 21s | |
| 10m 48s | |
| 10m 28s | |
| 10m 39s | |
| 10m 31s | |
| 10m 46s | |
| 11m 1s | |
| 1h 38m 46s |