diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/build_installer.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tools/build_installer.py b/tools/build_installer.py index e4213d8bd..e97d5df70 100755 --- a/tools/build_installer.py +++ b/tools/build_installer.py @@ -85,6 +85,12 @@ def package(): print 'package ...' os.chdir(package_dir) shutil.copytree(os.path.join(build_dir, 'bin'), os.path.join(package_dir, 'bin'), ignore = shutil.ignore_patterns("*.exe.manifest","*.exp","*.lib")) + if sys.platform == 'linux2': + run(('strip',os.path.join(package_dir, 'bin/archivegen'))) + run(('strip',os.path.join(package_dir, 'bin/binarycreator'))) + run(('strip',os.path.join(package_dir, 'bin/devtool'))) + run(('strip',os.path.join(package_dir, 'bin/installerbase'))) + run(('strip',os.path.join(package_dir, 'bin/repogen'))) shutil.copytree(os.path.join(build_dir, 'doc'), os.path.join(package_dir, 'doc')) shutil.copytree(os.path.join(src_dir, 'examples'), os.path.join(package_dir, 'examples')) shutil.copy(os.path.join(src_dir, 'README'), package_dir) |