diff --git a/script/create-dist.py b/script/create-dist.py index 59e4a28a3a2e..c2dc4645f2da 100755 --- a/script/create-dist.py +++ b/script/create-dist.py @@ -80,6 +80,7 @@ def main(): copy_license() if TARGET_PLATFORM == 'linux': + strip_binaries() copy_system_libraries() create_version() @@ -130,6 +131,12 @@ def copy_license(): shutil.copy2(os.path.join(SOURCE_ROOT, 'LICENSE'), DIST_DIR) +def strip_binaries(): + for binary in TARGET_BINARIES[TARGET_PLATFORM]: + if binary.endswith('.so') or '.' not in binary: + execute(['strip', os.path.join(DIST_DIR, binary)]) + + def copy_system_libraries(): ldd = execute(['ldd', os.path.join(OUT_DIR, 'atom')]) lib_re = re.compile('\t(.*) => (.+) \(.*\)$')