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 | |
| parent | Switch munin-master from CGI to CGI.pm (diff) | |
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.
| -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 |