diff options
| author | Adam Weinberger <adamw@FreeBSD.org> | 2014-07-05 00:22:07 +0000 |
|---|---|---|
| committer | Adam Weinberger <adamw@FreeBSD.org> | 2014-07-05 00:22:07 +0000 |
| commit | 39a0370b7b3756a0051db499797c0c14ef9a2836 (patch) | |
| tree | e47599bbf7b8a4f2bb2066ebdd8b75c21b0d40f3 /java/jboss5 | |
| parent | Remove NOPORTDOCS and NOPORTEXAMPLES from unstaged ports. Stage a couple while (diff) | |
Remove NOPORTDOCS and NOPORTEXAMPLES from unstaged ports. Stage a couple while
we're here. Remove any other references to NOPORT*.
Approved by: portmgr (blanket for modernization)
Diffstat (limited to 'java/jboss5')
| -rw-r--r-- | java/jboss5/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/java/jboss5/Makefile b/java/jboss5/Makefile index 195ece6ff64a..f204915db3f9 100644 --- a/java/jboss5/Makefile +++ b/java/jboss5/Makefile @@ -57,6 +57,8 @@ SUB_LIST= APP_HOME=${DATADIR} \ STOP_TIMEOUT=${STOP_TIMEOUT} \ USER=${USER} +OPTIONS_DEFINE= DOCS + NO_STAGE= yes .include <bsd.port.pre.mk> @@ -76,7 +78,7 @@ do-install: (cd ${JBOSSOUTPUT}/client && ${FIND} jboss-remoting.jar jboss-serialization.jar |\ ${CPIO} -pdmu -R ${USER}:${GROUP} ${DATADIR}/common/lib) ${INSTALL} -o ${USER} -g ${GROUP} -m 0640 /dev/null ${PID_FILE} -.if !defined(NOPORTDOCS) +.if ${PORT_OPTIONS:MDOCS} cd ${JBOSSOUTPUT}/docs \ && ${FIND} . -type d -exec ${MKDIR} ${DOCSDIR}/{} \; \ && ${FIND} . -type f -exec ${INSTALL_DATA} {} ${DOCSDIR}/{} \; |