cmake : allow user to override default options #13394
| Job | Run time |
|---|---|
| 3m 7s | |
| 8m 26s | |
| 3m 21s | |
| 1m 53s | |
| 2m 42s | |
| 3m 21s | |
| 14m 2s | |
| 2m 12s | |
| 3m 22s | |
| 2m 23s | |
| 6m 47s | |
| 2m 4s | |
| 1m 48s | |
| 9m 48s | |
| 5m 19s | |
| 3m 6s | |
| 10m 13s | |
| 1m 41s | |
| 2m 42s | |
| 1m 33s | |
| 8m 7s | |
| 30m 5s | |
| 13m 51s | |
| 5m 22s | |
| 7m 50s | |
| 7m 11s | |
| 32m 13s | |
| 6m 31s | |
| 12m 20s | |
| 7m 8s | |
| 9m 6s | |
| 7m 42s | |
| 9m 0s | |
| 22m 8s | |
| 16m 8s | |
| 6m 31s | |
| 1m 55s | |
| 7m 22s | |
| 7m 15s | |
| 2m 47s | |
| 3m 49s | |
| 0s | |
| 5h 14m 11s |