diff options
| author | Benoit Foucher <benoit@zeroc.com> | 2006-10-04 11:57:08 +0000 |
|---|---|---|
| committer | Benoit Foucher <benoit@zeroc.com> | 2006-10-04 11:57:08 +0000 |
| commit | 7bda98d96f88ce0140de8ee373d06a7905283ecc (patch) | |
| tree | 77a8566b4b695bc98859cf5d19bc754958f1cf24 /java/makedist.py | |
| parent | file THIRD_PARTY_LICENSE was initially added on branch R3_1_branch. (diff) | |
| download | ice-7bda98d96f88ce0140de8ee373d06a7905283ecc.tar.bz2 ice-7bda98d96f88ce0140de8ee373d06a7905283ecc.tar.xz ice-7bda98d96f88ce0140de8ee373d06a7905283ecc.zip | |
Fixed bug 1437
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. |