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

[Christian Hergert <chergert src gnome org>]

commit 6fafd4568edc5a32885f2b64539c041657a9b11b
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