diff options
| author | Brent Eagles <brent@zeroc.com> | 2005-11-15 19:52:48 +0000 |
|---|---|---|
| committer | Brent Eagles <brent@zeroc.com> | 2005-11-15 19:52:48 +0000 |
| commit | 75bae80ebf90a5b0d776d7ad03238a68823b2e13 (patch) | |
| tree | bb75485febc6675b7b23cd4e4dfe4c529005fcf3 /java/makedist.py | |
| parent | notes for IceGridGUI (diff) | |
| download | ice-75bae80ebf90a5b0d776d7ad03238a68823b2e13.tar.bz2 ice-75bae80ebf90a5b0d776d7ad03238a68823b2e13.tar.xz ice-75bae80ebf90a5b0d776d7ad03238a68823b2e13.zip | |
Adding support for creating a standalone icegridgui jar file that utilizes
proguard to keep the jar small.
Diffstat (limited to 'java/makedist.py')
| -rwxr-xr-x | java/makedist.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/java/makedist.py b/java/makedist.py index 203bd321d72..b423da248ca 100755 --- a/java/makedist.py +++ b/java/makedist.py @@ -217,11 +217,11 @@ os.system("ant" + quiet) # Clean out the lib directory but save the jar files. # os.rename(os.path.join("lib", "Ice.jar"), "Ice.jar") -os.rename(os.path.join("lib", "IceGridAdmin.jar"), "IceGridAdmin.jar") +os.rename(os.path.join("lib", "IceGridGUI.jar"), "IceGridGUI.jar") shutil.rmtree("lib") os.mkdir("lib") os.rename("Ice.jar", os.path.join("lib", "Ice.jar")) -os.rename("IceGridAdmin.jar", os.path.join("lib", "IceGridAdmin.jar")) +os.rename("IceGridGUI.jar", os.path.join("lib", "IceGridGUI.jar")) # # Remove "generated" subdirectories. |