diff options
| author | Bradley Sepos <[email protected]> | 2015-10-09 17:49:42 -0400 |
|---|---|---|
| committer | Bradley Sepos <[email protected]> | 2015-10-09 17:49:42 -0400 |
| commit | bfa97a7c53e7be2dcc88943b4c3e15eb3ebbf729 (patch) | |
| tree | c48245455a31c5dbb89c43ad65ae761c9a39faf8 | |
| parent | edb37c75b9072ef9f3abae398f5562459ab07977 (diff) | |
| parent | 6ec6d77ae10a2c3b3eaa19615b66762b18bc980d (diff) | |
Merge pull request #15 from SeanMcG/upstream
configure: use gm4 as a synonym for GNU m4
| -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' ) |