[plm] 07/13: specify that we use java 7 as source code

[Martin Quinson]

This is an automated email from the git hooks/post-receive script.

mquinson pushed a commit to branch debian
in repository plm.

commit fa7dffd71d9d44b8003e7e8097e5093e52bd0c70
Author: Martin Quinson <martin.quinson at loria.fr>
Date:   Fri Oct 24 20:48:40 2014 +0200

    specify that we use java 7 as source code
---
 debian/rules | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/rules b/debian/rules
index 0eac43a..5049dba 100755
--- a/debian/rules
+++ b/debian/rules
@@ -42,7 +42,7 @@ override_jh_build:
 	cd debian/_jh_build.plm && jar xf ../../lib/plm-messages.jar org
 	
 	# Finally, ask the scripts to compile our stuff, too
-	jh_build --no-javadoc
+	jh_build --no-javadoc --javacopts="-source 1.7"
 
 override_dh_auto_build:
 	ant -f build.xml clean

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-java/plm.git