diff options
Diffstat (limited to 'scripts/make_release.py')
| -rw-r--r-- | scripts/make_release.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/make_release.py b/scripts/make_release.py index b5e692d2..fa8766b4 100644 --- a/scripts/make_release.py +++ b/scripts/make_release.py @@ -34,7 +34,7 @@ if platform == 'win32': exe_ext = ".exe" use_zip = 1 use_gz = 0 -if platform == 'osx': +if 'osx_' in platform: use_zip = 1 use_gz = 0 use_bundle = 1 |