diff options
author | Max Kellermann <max@musicpd.org> | 2017-02-20 21:06:27 +0100 |
---|---|---|
committer | Max Kellermann <max@musicpd.org> | 2017-02-20 21:06:31 +0100 |
commit | 097e30321ba5af10217541a05887cb697b0fd02f (patch) | |
tree | 3dee57d77258676ca90b7a92d71f70dcc71848dd /win32/build.py | |
parent | b6ddeaacf2f9105049e5637d4766b6283e602f70 (diff) |
win32/build.py: add option --32
Diffstat (limited to 'win32/build.py')
-rwxr-xr-x | win32/build.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/win32/build.py b/win32/build.py index 007031ae1..e16ac53f6 100755 --- a/win32/build.py +++ b/win32/build.py @@ -11,6 +11,8 @@ while len(configure_args) > 0: arg = configure_args[0] if arg == '--64': x64 = True + elif arg == '--32': + x64 = False else: break configure_args.pop(0) |