Emit a warning when an unknown extension is used with #extension

diff --git a/glsl_parser_extras.cpp b/glsl_parser_extras.cpp
index de67e849dfa0bfe3ee58d7085bdabc3774a33b9d..8beea55573add74f5ff6bfbb0ba79cd6eba3f7cc 100644 (file)
--- a/glsl_parser_extras.cpp
+++ b/glsl_parser_extras.cpp
@@ -130,6 +130,9 @@ _mesa_glsl_process_extension(const char *name, YYLTYPE *name_locp,
         _mesa_glsl_error(name_locp, state, "Unknown extension `%s'",
                          name);
         return false;
+      } else {
+        _mesa_glsl_warning(name_locp, state, "Unknown extension `%s'",
+                           name);
       }
    }