[gnome-builder] make: match GNUmakefile|makefile|Makefile

[Christian Hergert <chergert src gnome org>]

commit c398ed37afb8219792c527d4320f9505b143b482
Author: Christian Hergert <chergert redhat com>
Date:   Tue Jun 4 18:14:01 2019 -0700

    make: match GNUmakefile|makefile|Makefile
    
    Fixes #934

 src/plugins/make/make_plugin.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/plugins/make/make_plugin.py b/src/plugins/make/make_plugin.py
index e3cef10dc..5eca0760d 100644
--- a/src/plugins/make/make_plugin.py
+++ b/src/plugins/make/make_plugin.py
@@ -30,7 +30,7 @@ _ = Ide.gettext
 class MakeBuildSystemDiscovery(Ide.SimpleBuildSystemDiscovery):
     def __init__(self, *args, **kwargs):
         super().__init__(*args, **kwargs)
-        self.props.glob = 'Makefile'
+        self.props.glob = '+(GNUmakefile|makefile|Makefile)'
         self.props.hint = 'make_plugin'
         self.props.priority = 1000