diff options
author | John Marino <marino@FreeBSD.org> | 2015-03-25 12:17:39 +0000 |
---|---|---|
committer | John Marino <marino@FreeBSD.org> | 2015-03-25 12:17:39 +0000 |
commit | ef80deddf08ac92c12b630c62f89d127f7a133cf (patch) | |
tree | ab20b1dff1007a5670b78717a5c40db5e8b401f3 /databases/virtuoso | |
parent | f6e67d43da580385fb979f79bb524cc4490c05e6 (diff) | |
download | ports-ef80deddf08ac92c12b630c62f89d127f7a133cf.tar.gz ports-ef80deddf08ac92c12b630c62f89d127f7a133cf.zip |
databases/virtusos: remove entire hosting directory
When I tested the fix to virtuoso, the directory was empty, but according
to a report, it isn't always. Change rmdir to rm -rf so the port
builds in all cases. No bump necessasry.
Notes
Notes:
svn path=/head/; revision=382205
Diffstat (limited to 'databases/virtuoso')
-rw-r--r-- | databases/virtuoso/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/databases/virtuoso/Makefile b/databases/virtuoso/Makefile index 3e6685b32c34..1d681340cc26 100644 --- a/databases/virtuoso/Makefile +++ b/databases/virtuoso/Makefile @@ -61,8 +61,8 @@ post-patch: post-install: ${FIND} ${STAGEDIR} -name "*.ini" -exec ${MV} {} {}.sample \; -print - ${RMDIR} ${STAGEDIR}${PREFIX}/virtuoso/doc/html \ - ${STAGEDIR}${PREFIX}/lib/virtuoso/hosting + ${RMDIR} ${STAGEDIR}${PREFIX}/virtuoso/doc/html + ${RM} -r ${STAGEDIR}${PREFIX}/lib/virtuoso/hosting check: ${SETENV} -u HOST ${MAKE_ENV} ${MAKE} -C ${WRKSRC} check |