From ea65ff39fb7e1de0065b94693653e5ff263e0e5f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Vladim=C3=ADr=20Vondru=C5=A1?= <mosra@centrum.cz>
Date: Wed, 16 Dec 2015 11:57:59 +0100
Subject: [PATCH] Print an error if the user tries to disable unknown
 workaround.

---
 src/Magnum/Implementation/driverSpecific.cpp | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/Magnum/Implementation/driverSpecific.cpp b/src/Magnum/Implementation/driverSpecific.cpp
index 3eadcbdf7..b95d15a3e 100644
--- a/src/Magnum/Implementation/driverSpecific.cpp
+++ b/src/Magnum/Implementation/driverSpecific.cpp
@@ -132,7 +132,10 @@ auto Context::detectedDriver() -> DetectedDrivers {
 
 void Context::disableDriverWorkaround(const std::string& workaround) {
     /* Ignore unknown workarounds */
-    if(std::find(KnownWorkarounds.begin(), KnownWorkarounds.end(), workaround) == KnownWorkarounds.end()) return;
+    if(std::find(KnownWorkarounds.begin(), KnownWorkarounds.end(), workaround) == KnownWorkarounds.end()) {
+        Warning() << "Unknown workaround" << workaround;
+        return;
+    }
     _driverWorkarounds.emplace_back(workaround, true);
 }