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 <[email protected]> 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 _______________________________________________ pkg-java-commits mailing list [email protected] http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-java-commits
