Update configure.ac and sync configure. #522
| Job | Run time |
|---|---|
| 2h 47m 34s | |
| 54m 18s | |
| 0s | |
| 2h 12m 14s | |
| 49m 12s | |
| 2h 11m 23s | |
| 1h 2m 14s | |
| 2h 25m 16s | |
| 59m 33s | |
| 2h 27m 59s | |
| 49m 18s | |
| 56m 32s | |
| 47m 12s | |
| 50m 13s | |
| 2h 24m 40s | |
| 2h 29m 6s | |
| 2h 25m 25s | |
| 2h 24m 10s | |
| 3h 22m 59s | |
| 2h 36m 41s | |
| 3h 24m 2s | |
| 2h 36m 13s | |
| 54m 12s | |
| 56m 41s | |
| 47m 35s | |
| 47m 51s | |
| 1d 20h 22m 33s |