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