[javatools] 04/09: jh_build: Generate Java 7 bytecode by default

[Emmanuel Bourg]

This is an automated email from the git hooks/post-receive script.

ebourg-guest pushed a commit to branch master
in repository javatools.

commit 681f83a212202e05727406885ff14aa49bdb8200
Author: Emmanuel Bourg <ebourg at apache.org>
Date:   Fri Jun 30 10:00:58 2017 +0200

    jh_build: Generate Java 7 bytecode by default
---
 debian/changelog | 1 +
 jh_build         | 6 +++---
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 83a1fad..1257b7b 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,6 +1,7 @@
 javatools (0.60) UNRELEASED; urgency=medium
 
   * Team upload.
+  * jh_build: Generate Java 7 bytecode by default
   * Standards-Version updated to 4.0.0
   * Switch to debhelper level 10
 
diff --git a/jh_build b/jh_build
index 4ecc65f..074734a 100755
--- a/jh_build
+++ b/jh_build
@@ -53,14 +53,14 @@ JH_JAVADOC_OPTS="`getarg O javadoc-opts`"
 
 if ! grep -- -source <<< "$JH_JAVAC_OPTS" &>/dev/null; then
     if ! grep -- -target <<< "$JH_JAVAC_OPTS" &>/dev/null; then
-	JH_JAVAC_OPTS="-source 1.5 -target 1.5 $JH_JAVAC_OPTS"
+	JH_JAVAC_OPTS="-source 1.7 -target 1.7 $JH_JAVAC_OPTS"
     else
-	JH_JAVAC_OPTS="-source 1.5 $JH_JAVAC_OPTS"
+	JH_JAVAC_OPTS="-source 1.7 $JH_JAVAC_OPTS"
     fi
 fi
 
 if ! grep -- -source <<< "$JH_JAVADOC_OPTS" &>/dev/null; then
-	JH_JAVADOC_OPTS="-source 1.5 $JH_JAVADOC_OPTS"
+	JH_JAVADOC_OPTS="-source 1.7 $JH_JAVADOC_OPTS"
 fi
 
 if ! grep -- -notimestamp <<< "$JH_JAVADOC_OPTS" &>/dev/null; then

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-java/javatools.git