configure: use gm4 as a synonym for GNU m4

diff --git a/make/configure.py b/make/configure.py
index e606f40c1bed911a4757d2d88a8da2be9026d9fb..82350c58042e5b2f6e93dfd7c3f7085999fd3f85 100644 (file)
--- a/make/configure.py
+++ b/make/configure.py
@@ -1458,7 +1458,7 @@ try:
         else:
             gmake = ToolProbe( 'GMAKE.exe', 'gmake', 'make' )
 
-        m4       = ToolProbe( 'M4.exe',       'm4' )
+        m4       = ToolProbe( 'M4.exe',       'gm4', 'm4' )
         mkdir    = ToolProbe( 'MKDIR.exe',    'mkdir' )
         patch    = ToolProbe( 'PATCH.exe',    'gpatch', 'patch' )
         rm       = ToolProbe( 'RM.exe',       'rm' )