diff options
Diffstat (limited to 'java/jakarta-commons-pool')
| -rw-r--r-- | java/jakarta-commons-pool/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/java/jakarta-commons-pool/Makefile b/java/jakarta-commons-pool/Makefile index f9da27069cce..2d0955b9c35d 100644 --- a/java/jakarta-commons-pool/Makefile +++ b/java/jakarta-commons-pool/Makefile @@ -36,7 +36,8 @@ JARFILE= ${PORTNAME}.jar DESTJARFILE= ${PORTNAME}.jar do-build: - @cd ${WRKSRC} && ${ANT} ${ANT_TARGET} + @cd ${WRKSRC} && \ + ${SETENV} ANT_INCLUDE_SHARED_JARS=YES ${ANT} ${ANT_TARGET} do-install: @${ECHO} -n ">> Installing JAR as ${JARDIR}/${DESTJARFILE}..." |