diff options
Diffstat (limited to 'java/makedist.py')
-rwxr-xr-x | java/makedist.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/java/makedist.py b/java/makedist.py index 90d8b0f939a..62e4fb4daa0 100755 --- a/java/makedist.py +++ b/java/makedist.py @@ -257,6 +257,9 @@ os.mkdir("lib") os.rename("Ice.jar", os.path.join("lib", "Ice.jar")) if os.path.exists(os.path.join("IceGridGUI.jar")): os.rename("IceGridGUI.jar", os.path.join("lib", "IceGridGUI.jar")) +else: + os.remove("THIRD_PARTY_LICENSE") + os.remove("THIRD_PARTY_SOURCES") # # Remove "generated" subdirectories. |