diff options
| author | Nicola Vitale <nivit@FreeBSD.org> | 2007-02-02 17:55:28 +0000 |
|---|---|---|
| committer | Nicola Vitale <nivit@FreeBSD.org> | 2007-02-02 17:55:28 +0000 |
| commit | bb0c3bda54187e99da6574f7892f9a8a46d04984 (patch) | |
| tree | ef4fa949b6bfd78c23af9997f7a624dcb7a05860 /editors/drjava/Makefile | |
| parent | Back out previous since it causes further plist problems. (diff) | |
- Updated to 20070130.2255
Approved by: alexbl (mentor, implicit)
Diffstat (limited to 'editors/drjava/Makefile')
| -rw-r--r-- | editors/drjava/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/editors/drjava/Makefile b/editors/drjava/Makefile index f147ce2b428f..9ee68cc1e19c 100644 --- a/editors/drjava/Makefile +++ b/editors/drjava/Makefile @@ -6,7 +6,7 @@ # PORTNAME= drjava -PORTVERSION= 20061025.1556 +PORTVERSION= 20070130.2255 CATEGORIES= editors java MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} MASTER_SITE_SUBDIR= ${PORTNAME} @@ -30,7 +30,7 @@ DATADIR= ${JAVASHAREDIR}/${PORTNAME} DRJAVAJAR= ${DISTFILES} do-install: - ${MKDIR} ${DATADIR} + @${MKDIR} ${DATADIR} ${INSTALL_DATA} ${DISTDIR}/${DISTFILES} ${DATADIR}/${DRJAVAJAR} ${INSTALL_SCRIPT} ${WRKDIR}/${PORTNAME} ${PREFIX}/bin/${PORTNAME} |