fixed #12523 - greatly improved errorhandling of --rule-file= (#6147)
#12807
| Job | Run time |
|---|---|
| 7m 47s | |
| 3m 14s | |
| 11m 1s |
--rule-file= (#6147)
#12807
| Job | Run time |
|---|---|
| 7m 47s | |
| 3m 14s | |
| 11m 1s |