diff --git a/scripts/make_release.py b/scripts/make_release.py index b5e692d20..fa8766b42 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