diff options
author | Max Kellermann <max@musicpd.org> | 2017-02-20 21:04:44 +0100 |
---|---|---|
committer | Max Kellermann <max@musicpd.org> | 2017-02-20 21:06:21 +0100 |
commit | b6ddeaacf2f9105049e5637d4766b6283e602f70 (patch) | |
tree | 864ba815937a3ad3772ac26067df6622b6f790db /win32 | |
parent | b0c60ec124b09a320bedd71c74a9fb0e9ad3e149 (diff) |
win32/build.py: convert argument parser to loop
Allow multiple arguments.
Diffstat (limited to 'win32')
-rwxr-xr-x | win32/build.py | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/win32/build.py b/win32/build.py index 90edfd3ad..007031ae1 100755 --- a/win32/build.py +++ b/win32/build.py @@ -7,8 +7,13 @@ configure_args = sys.argv[1:] x64 = False -if len(configure_args) > 0 and configure_args[0] == '--64': - x64 = True +while len(configure_args) > 0: + arg = configure_args[0] + if arg == '--64': + x64 = True + else: + break + configure_args.pop(0) if x64: host_arch = 'x86_64-w64-mingw32' |