diff options
| author | Sean McGovern <[email protected]> | 2013-12-30 17:38:42 -0500 |
|---|---|---|
| committer | Sean McGovern <[email protected]> | 2015-10-07 18:07:11 -0400 |
| commit | 6ec6d77ae10a2c3b3eaa19615b66762b18bc980d (patch) | |
| tree | 23a3013a0015d821018c88bc13e934ef2183b6e3 /make | |
| parent | 6160d599a8b3ec6753ad8c2d53900d060ad2b3cd (diff) | |
configure: use gm4 as a synonym for GNU m4
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' ) |