From 96cd3c95c8478972407aba444b299339b3fef9a7 Mon Sep 17 00:00:00 2001
From: Matt Godbolt <matt@godbolt.org>
Date: Thu, 10 Mar 2016 07:33:59 -0600
Subject: [PATCH] Improved blacklist (thanks @ch3root)

---
 etc/config/gcc-explorer.defaults.properties | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/etc/config/gcc-explorer.defaults.properties b/etc/config/gcc-explorer.defaults.properties
index 0f39d785..211bf880 100644
--- a/etc/config/gcc-explorer.defaults.properties
+++ b/etc/config/gcc-explorer.defaults.properties
@@ -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)(=.*)?|--)$