diff options
| author | Mark Spruiell <mes@zeroc.com> | 2006-07-07 19:54:35 +0000 |
|---|---|---|
| committer | Mark Spruiell <mes@zeroc.com> | 2006-07-07 19:54:35 +0000 |
| commit | 492a81ee1b1e8a3aaaf25225de36a37bcd63d089 (patch) | |
| tree | fb3f2d249e512077430720fcde49985cbb764e7f /java/makedist.py | |
| parent | another fix for 1193 (diff) | |
| download | ice-492a81ee1b1e8a3aaaf25225de36a37bcd63d089.tar.bz2 ice-492a81ee1b1e8a3aaaf25225de36a37bcd63d089.tar.xz ice-492a81ee1b1e8a3aaaf25225de36a37bcd63d089.zip | |
minor change
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 0b0d77c9462..f9c41016026 100755 --- a/java/makedist.py +++ b/java/makedist.py @@ -233,7 +233,7 @@ cwd = os.getcwd() os.chdir("icej") if os.environ.has_key("JAVA15_HOME"): # - # build with JDK 1.5 first. + # First create Ice.jar for JDK 1.5. # oldpath = os.environ["PATH"] if os.environ.has_key("JAVA_HOME"): @@ -246,7 +246,7 @@ if os.environ.has_key("JAVA15_HOME"): quiet = "" else: quiet = " -q" - os.system("ant" + quiet) + os.system("ant" + quiet + " ice-jar") os.rename(os.path.join("lib", "Ice.jar"), "Ice.jdk15.jar") os.system("ant" + quiet + " clean") |