diff options
Diffstat (limited to 'www-servers/tomcat/tomcat-7.0.59-r2.ebuild')
| -rw-r--r-- | www-servers/tomcat/tomcat-7.0.59-r2.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/www-servers/tomcat/tomcat-7.0.59-r2.ebuild b/www-servers/tomcat/tomcat-7.0.59-r2.ebuild index ea658fdbfd6d..f77687b2e550 100644 --- a/www-servers/tomcat/tomcat-7.0.59-r2.ebuild +++ b/www-servers/tomcat/tomcat-7.0.59-r2.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2015 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/www-servers/tomcat/tomcat-7.0.59-r2.ebuild,v 1.2 2015/07/22 12:21:07 monsieurp Exp $ +# $Header: /var/cvsroot/gentoo-x86/www-servers/tomcat/tomcat-7.0.59-r2.ebuild,v 1.3 2015/07/22 13:03:26 monsieurp Exp $ EAPI=5 @@ -69,7 +69,7 @@ EANT_EXTRA_ARGS="-Dversion=${PV}-gentoo -Dversion.number=${PV} -Dcompile.debug=f IM_REV="-r1" src_compile() { - use websockets && EANT_EXTRA_ARGS="-Djava.7.home=${JAVA_HOME}" + EANT_EXTRA_ARGS+=" -Djava.7.home=${JAVA_HOME}" EANT_GENTOO_CLASSPATH_EXTRA+=":$(java-pkg_getjar --build-only ant-core ant.jar)" java-pkg-2_src_compile } |