diff options
author | lloyd <[email protected]> | 2014-01-07 12:53:32 +0000 |
---|---|---|
committer | lloyd <[email protected]> | 2014-01-07 12:53:32 +0000 |
commit | 157576aabd8e3923607bad6cd8b3dbc0546b0cd3 (patch) | |
tree | adea2c769836cdf13a8711f8866a046ff544f710 /configure.py | |
parent | 7d18f8b444b3a7976b6f18bf74fa582fab69d2fe (diff) |
Finish rename
Diffstat (limited to 'configure.py')
-rwxr-xr-x | configure.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/configure.py b/configure.py index 1f407ee54..921d1c27f 100755 --- a/configure.py +++ b/configure.py @@ -299,7 +299,7 @@ def process_command_line(args): help='choose how links are created') build_group.add_option('--makefile-style', metavar='STYLE', default=None, - help='choose a makefile style (unix or nmake)') + help='choose a makefile style (gmake or nmake)') build_group.add_option('--with-local-config', dest='local_config', metavar='FILE', @@ -1483,8 +1483,8 @@ def setup_build(build_config, options, template_vars): def choose_makefile_template(style): if style == 'nmake': return 'nmake.in' - elif style == 'unix': - return ('gmake.in') + elif style == 'gmake': + return 'gmake.in' else: raise Exception('Unknown makefile style "%s"' % (style)) |