improved errorhandling of --rule= and --rule-file= / some related cleanups
#11343
| Job | Run time |
|---|---|
| 9m 48s | |
| 9m 48s |
--rule= and --rule-file= / some related cleanups
#11343
| Job | Run time |
|---|---|
| 9m 48s | |
| 9m 48s |