[pkg-java] r7188 - trunk/libgnumail-java/debian

[doko at alioth.debian.org]

Author: doko
Date: 2008-10-20 14:09:02 +0000 (Mon, 20 Oct 2008)
New Revision: 7188

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


Modified: trunk/libgnumail-java/debian/changelog
===================================================================
--- trunk/libgnumail-java/debian/changelog	2008-10-20 14:03:43 UTC (rev 7187)
+++ trunk/libgnumail-java/debian/changelog	2008-10-20 14:09:02 UTC (rev 7188)
@@ -1,6 +1,7 @@
 libgnumail-java (1.1.2-3) 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:35:38 +0000
 

Modified: trunk/libgnumail-java/debian/rules
===================================================================
--- trunk/libgnumail-java/debian/rules	2008-10-20 14:03:43 UTC (rev 7187)
+++ trunk/libgnumail-java/debian/rules	2008-10-20 14:09:02 UTC (rev 7188)
@@ -15,6 +15,7 @@
                         -Dgnumail.jar=gnumail-$(VERSION).jar -Dproviders.jar=gnumail-providers-$(VERSION).jar \
 			-Ddoc=api
 API_DOCS             := api
+ANT_OPTS = -Dant.build.javac.source=1.4
 
 binary-post-install/$(PACKAGE)::
 	dh_install -p$(PACKAGE) ./gnumail-$(VERSION).jar usr/share/java