diff options
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 08e3bc7b5..86a2c2832 100755 --- a/make/scripts/check-java-major-version.sh +++ b/make/scripts/check-java-major-version.sh @@ -24,4 +24,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 |