diff options
Diffstat (limited to 'make')
| -rw-r--r-- | make/configure.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make/configure.py b/make/configure.py index e606f40c1..82350c580 100644 --- 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' ) |