[eclipse-pydev] 15/19: Use Java 1.7

[Jakub Adam]

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

xhaakon-guest pushed a commit to branch master
in repository eclipse-pydev.

commit 696ca06faaf2a9e026a27db0ae8f6b48173ef5b4
Author: Jakub Adam <jakub.adam at ktknet.cz>
Date:   Thu Nov 21 15:05:35 2013 +0100

    Use Java 1.7
---
 debian/rules |    3 +++
 1 file changed, 3 insertions(+)

diff --git a/debian/rules b/debian/rules
index 90996fb..8c1d385 100755
--- a/debian/rules
+++ b/debian/rules
@@ -9,6 +9,9 @@ export JAVA_HOME:=/usr/lib/jvm/default-java
 	fi
 	dh $@ --with eclipse-helper
 
+override_jh_compilefeatures-indep:
+	jh_compilefeatures --build-opts="-DjavacTarget=1.7 -DjavacSource=1.7"
+
 override_dh_link:
 	JYTHON_BUNDLE=$$(basename $$(find debian/eclipse-pydev -type d -name org.python.pydev.jython_*)); \
 	dh_link -peclipse-pydev /usr/share/jython/Lib \

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