diff options
Diffstat (limited to 'java/makedist.py')
| -rwxr-xr-x | java/makedist.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/java/makedist.py b/java/makedist.py index 73a5ac9e9df..203bd321d72 100755 --- a/java/makedist.py +++ b/java/makedist.py @@ -214,12 +214,14 @@ else: os.system("ant" + quiet) # -# Clean out the lib directory but save Ice.jar. +# 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") 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")) # # Remove "generated" subdirectories. |