diff options
Diffstat (limited to 'editors/drjava/Makefile')
-rw-r--r-- | editors/drjava/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editors/drjava/Makefile b/editors/drjava/Makefile index e86e83627305..4e4d75db8ecc 100644 --- a/editors/drjava/Makefile +++ b/editors/drjava/Makefile @@ -25,6 +25,7 @@ DATADIR= ${JAVASHAREDIR}/${PORTNAME} DRJAVAJAR= ${DISTFILES} +NO_STAGE= yes do-install: @${MKDIR} ${DATADIR} ${INSTALL_DATA} ${DISTDIR}/${DISTFILES} ${DATADIR}/${DRJAVAJAR} |