This is an automated email from the git hooks/post-receive script.
apo pushed a commit to branch master
in repository jflex.
commit 2d3d57c32cd3c455fa50c931f12e46c03b955284
Author: Markus Koschany <a...@debian.org>
Date: Tue Feb 13 22:34:26 2018 +0100
Change source/target to 1.7.
---
debian/changelog | 1 +
debian/patches/build.patch | 4 ++--
2 files changed, 3 insertions(+), 2 deletions(-)
diff --git a/debian/changelog b/debian/changelog
index 2508fbe..962e512 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -6,6 +6,7 @@ jflex (1.6.1-3) unstable; urgency=medium
* Change dependency from default-jre to default-jre-headless |
java7-runtime-headless.
Thanks to Kai-Chung Yan for the report. (Closes: #890345)
+ * Change source/target to 1.7.
-- Markus Koschany <a...@debian.org> Tue, 13 Feb 2018 22:30:33 +0100
diff --git a/debian/patches/build.patch b/debian/patches/build.patch
index 37826a0..f0b2ca9 100644
--- a/debian/patches/build.patch
+++ b/debian/patches/build.patch
@@ -28,8 +28,8 @@ index 777fd81..00a940e 100644
description="generate sources and compile all non-test classes">
<mkdir dir="${compile.output.dir}" />
<javac destdir="${compile.output.dir}"
-+ source="1.6"
-+ target="1.6"
++ source="1.7"
++ target="1.7"
debug="on"
includeantruntime="true">
<src path="src/main/java"/>
--
Alioth's /usr/local/bin/git-commit-notice on
/srv/git.debian.org/git/pkg-java/jflex.git
_______________________________________________
pkg-java-commits mailing list
pkg-java-comm...@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-java-commits
