diff options
| author | Sven Gothel <[email protected]> | 2013-09-19 08:36:07 +0200 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2013-09-19 08:36:07 +0200 |
| commit | 834937cfbafb5ff11d95738c456bae254c957173 (patch) | |
| tree | 4ebe456d0791706b919b1344b3ebf162c8991d76 /make/scripts | |
| parent | 9377a6d8edfc08235d6af7b9cb7b32021fb6e074 (diff) | |
Fix Bug 835: Use target.[sourcelevel,targetlevel,rt.jar] for all javac tasks.
Before we bumped java language version to 1.6, i.e. target == 1.5,
we required to compile some parts w/ the host level (1.6).
This is no more required.
Diffstat (limited to 'make/scripts')
| -rwxr-xr-x | make/scripts/check-java-major-version.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/make/scripts/check-java-major-version.sh b/make/scripts/check-java-major-version.sh index 0e4424d..6b1711c 100755 --- a/make/scripts/check-java-major-version.sh +++ b/make/scripts/check-java-major-version.sh @@ -22,4 +22,8 @@ function do_it() { } do_it $1 2>&1 | tee check-java-major-version.log +echo +echo VERSIONS found: +echo +grep 'major version' check-java-major-version.log | sort -u |