fix #11824: Option --max-configs has no effect if -D is used #19001
| Job | Run time |
|---|---|
| 1m 26s | |
| 51s | |
| 25s | |
| 11s | |
| 14s | |
| 1m 11s | |
| 1m 10s | |
| 1m 15s | |
| 1m 39s | |
| 1m 8s | |
| 1m 28s | |
| 1m 34s | |
| 12m 32s |
| Job | Run time |
|---|---|
| 1m 26s | |
| 51s | |
| 25s | |
| 11s | |
| 14s | |
| 1m 11s | |
| 1m 10s | |
| 1m 15s | |
| 1m 39s | |
| 1m 8s | |
| 1m 28s | |
| 1m 34s | |
| 12m 32s |