fixed #12523 - greatly improved errorhandling of --rule-file=
#12776
| Job | Run time |
|---|---|
| 7m 53s | |
| 3m 50s | |
| 11m 43s |
--rule-file=
#12776
| Job | Run time |
|---|---|
| 7m 53s | |
| 3m 50s | |
| 11m 43s |