Slightly improve the options filter

diffs
Matt Godbolt 11 years ago
parent cf3fd6fa34
commit a1809bd2ad

@ -1,2 +1,2 @@
whitelistRe=.*
blacklistRe=-wrapper|-fplugin|(@.*)|-I|-i|--
blacklistRe=^((-wrapper|-fplugin?|(@.*)|-I|-i)(=.*)?|--)$

Loading…
Cancel
Save