[pkg-java] r7189 - trunk/libgnuinet-java/debian

[doko at alioth.debian.org]

Author: doko
Date: 2008-10-20 14:10:12 +0000 (Mon, 20 Oct 2008)
New Revision: 7189

Modified:
   trunk/libgnuinet-java/debian/changelog
   trunk/libgnuinet-java/debian/rules
Log:
* Set java source version to 1.4.


Modified: trunk/libgnuinet-java/debian/changelog
===================================================================
--- trunk/libgnuinet-java/debian/changelog	2008-10-20 14:09:02 UTC (rev 7188)
+++ trunk/libgnuinet-java/debian/changelog	2008-10-20 14:10:12 UTC (rev 7189)
@@ -1,6 +1,7 @@
 libgnuinet-java (1.1.1-4) UNRELEASED; urgency=low
 
   * (Build-)depend on default-jre/-jdk.
+  * Set java source version to 1.4.
 
  -- Matthias Klose <doko at debian.org>  Wed, 30 Jul 2008 17:27:56 +0000
 

Modified: trunk/libgnuinet-java/debian/rules
===================================================================
--- trunk/libgnuinet-java/debian/rules	2008-10-20 14:09:02 UTC (rev 7188)
+++ trunk/libgnuinet-java/debian/rules	2008-10-20 14:10:12 UTC (rev 7189)
@@ -8,6 +8,7 @@
 
 JAVA_HOME            := /usr/lib/jvm/default-java
 DEB_ANT_BUILD_TARGET := inetlib.jar doc
+ANT_OPTS = -Dant.build.javac.source=1.4
 
 LIBRARY=gnuinet
 VERSION=1.1.1