[jflex] 06/07: Change source/target to 1.7.

[Markus Koschany]

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 <apo at 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 <apo at 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