Distribute map_diff

This commit is contained in:
def 2017-07-12 20:30:58 +02:00
parent a5bd671e55
commit 8b111ab6c3

View file

@ -93,6 +93,7 @@ if include_exe and not use_bundle:
shutil.copy("config_store"+exe_ext, package_dir) shutil.copy("config_store"+exe_ext, package_dir)
shutil.copy("config_retrieve"+exe_ext, package_dir) shutil.copy("config_retrieve"+exe_ext, package_dir)
shutil.copy("map_extract"+exe_ext, package_dir) shutil.copy("map_extract"+exe_ext, package_dir)
shutil.copy("map_diff"+exe_ext, package_dir)
#shutil.copy(name+"-Server_sql"+exe_ext, package_dir) #shutil.copy(name+"-Server_sql"+exe_ext, package_dir)
if include_src: if include_src: