linux: Strip binaries wen creating distribution

diff --git a/script/create-dist.py b/script/create-dist.py
index 59e4a28..c2dc464 100755 (executable)
--- 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(.*) => (.+) \(.*\)$')