Improved blacklist (thanks @ch3root)

dev/git-series/gccdum
Matt Godbolt 7 years ago
parent ce73e1fa37
commit 96cd3c95c8

@ -9,4 +9,4 @@ staticMaxAgeMs=1000
gcIntervalSecs=300
gcHeapDiffEverySecs=3600
optionsWhitelistRe=.*
optionsBlacklistRe=^((-wrapper|-fplugin?|(@.*)|-I|-i)(=.*)?|--)$
optionsBlacklistRe=^(-W[alp],)?((-wrapper|-fplugin.*|-specs|-load|-plugin|(@.*)|-I|-i)(=.*)?|--)$

Loading…
Cancel
Save