diff options
| author | Marc Laukien <marc@zeroc.com> | 2003-02-17 00:53:39 +0000 |
|---|---|---|
| committer | Marc Laukien <marc@zeroc.com> | 2003-02-17 00:53:39 +0000 |
| commit | 74ccd9688cdfeb7937d1c4fc1668f96803ea2ee3 (patch) | |
| tree | e592c292467246c17ef28059dc679ee78740d04a /java/makebindist.py | |
| parent | added Stats.h (diff) | |
| download | ice-74ccd9688cdfeb7937d1c4fc1668f96803ea2ee3.tar.bz2 ice-74ccd9688cdfeb7937d1c4fc1668f96803ea2ee3.tar.xz ice-74ccd9688cdfeb7937d1c4fc1668f96803ea2ee3.zip | |
added stripping
Diffstat (limited to 'java/makebindist.py')
| -rwxr-xr-x | java/makebindist.py | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/java/makebindist.py b/java/makebindist.py index 12ddfd18877..f67afe47d79 100755 --- a/java/makebindist.py +++ b/java/makebindist.py @@ -101,6 +101,7 @@ icehome = os.environ["ICE_HOME"] executables = [ ] libraries = [ ] symlinks = 0 +strip = 0 if platform == "win32": winver = version.replace(".", "") debug = "" @@ -137,13 +138,16 @@ else: "libSlice.so",\ ] symlinks = 1 + strip = 1 bindir = icever + "/bin" libdir = icever + "/lib" os.mkdir(bindir) os.mkdir(libdir) + for x in executables: shutil.copyfile(icehome + "/bin/" + x, bindir + "/" + x) + if symlinks: for x in libraries: libname = x + '.' + version @@ -155,6 +159,13 @@ else: for x in libraries: shutil.copyfile(icehome + "/lib/" + x, libdir + "/" + x) +if strip: + for x in executables: + os.system("strip " + bindir + "/" + x) + for x in libraries: + os.system("strip " + libdir + "/" + x) + + # # Create binary archives. # |