diff options
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. |