diff options
Diffstat (limited to 'distribution/bin/makebindist.py')
| -rwxr-xr-x | distribution/bin/makebindist.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/distribution/bin/makebindist.py b/distribution/bin/makebindist.py index 349f311acbe..bc8261149bf 100755 --- a/distribution/bin/makebindist.py +++ b/distribution/bin/makebindist.py @@ -199,8 +199,11 @@ for l in buildLanguages: else: antCmd = platform.getAntEnv() + " ant " + platform.getAntOptions() + " -Dprefix=" + buildDir + jgoodiesDefines = "-Djgoodies.forms=" + platform.getJGoodiesForms() + " -Djgoodies.looks=" + \ + platform.getJGoodiesLooks() + if os.system(antCmd + " -Dbuild.suffix=-java2 -Dice.mapping=java2 install") != 0 or \ - os.system(antCmd + " -Dbuild.suffix=-java5 -Dice.mapping=java5 install") != 0: + os.system(antCmd + " -Dbuild.suffix=-java5 -Dice.mapping=java5 " + jgoodiesDefines + " install") != 0: print sys.argv[0] + ": `" + l + "' build failed" os.chdir(cwd) sys.exit(1) |