summaryrefslogtreecommitdiff
path: root/java/makedist.py
diff options
context:
space:
mode:
Diffstat (limited to 'java/makedist.py')
-rwxr-xr-xjava/makedist.py3
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.