diff options
Diffstat (limited to 'make/scripts')
| -rwxr-xr-x | make/scripts/make.joal.all.linux-x86_64.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/make/scripts/make.joal.all.linux-x86_64.sh b/make/scripts/make.joal.all.linux-x86_64.sh index 6c3f27a..553f757 100755 --- a/make/scripts/make.joal.all.linux-x86_64.sh +++ b/make/scripts/make.joal.all.linux-x86_64.sh @@ -19,7 +19,13 @@ if [ -z "$ANT_PATH" ] ; then fi # -Drootrel.build=build-x86_64 \ +# -Dtarget.sourcelevel=1.6 \ +# -Dtarget.targetlevel=1.6 \ +# -Dtarget.rt.jar=/opt-share/jre1.6.0_30/lib/rt.jar \ ant \ + -Dtarget.sourcelevel=1.6 \ + -Dtarget.targetlevel=1.6 \ + -Dtarget.rt.jar=/opt-share/jre1.6.0_30/lib/rt.jar \ -Drootrel.build=build-x86_64 \ $* 2>&1 | tee make.joal.all.linux-x86_64.log |