diff --git a/scripts/make_release.py b/scripts/make_release.py index f1c10f796..a2b396c3a 100644 --- a/scripts/make_release.py +++ b/scripts/make_release.py @@ -92,6 +92,7 @@ if include_exe and not use_bundle: shutil.copy("dilate"+exe_ext, package_dir) shutil.copy("config_store"+exe_ext, package_dir) shutil.copy("config_retrieve"+exe_ext, package_dir) + shutil.copy("map_extract"+exe_ext, package_dir) #shutil.copy(name+"-Server_sql"+exe_ext, package_dir) if include_src: @@ -102,7 +103,7 @@ if include_src: shutil.copy("configure.lua", package_dir) if use_bundle: - bins = [name, name+'-Server', 'dilate', 'config_store', 'config_retrieve', 'serverlaunch'] + bins = [name, name+'-Server', 'dilate', 'config_store', 'config_retrieve', 'map_extract', 'serverlaunch'] platforms = ('x86', 'x86_64', 'ppc') for bin in bins: to_lipo = []