diff --git a/script/create-dist.py b/script/create-dist.py index 3dd3ac789527..da684b03195f 100755 --- a/script/create-dist.py +++ b/script/create-dist.py @@ -20,12 +20,18 @@ def main(): rm_rf(DIST_DIR) os.makedirs(DIST_DIR) + force_build() copy_binaries() copy_license() create_version() create_zip() +def force_build(): + build = os.path.join(SOURCE_ROOT, 'script', 'build.py') + subprocess.check_call([sys.executable, build, '-c', 'Release']); + + def copy_binaries(): shutil.copytree(BUNDLE_DIR, os.path.join(DIST_DIR, BUNDLE_NAME), symlinks=True)