diff options
| author | marino <marino@FreeBSD.org> | 2015-03-25 20:17:39 +0800 |
|---|---|---|
| committer | marino <marino@FreeBSD.org> | 2015-03-25 20:17:39 +0800 |
| commit | 5e5327fe8097932b27e9bbbf982a0daf57535ded (patch) | |
| tree | ab20b1dff1007a5670b78717a5c40db5e8b401f3 | |
| parent | 6a551edc23c2c131619df5b5c8f4308caea18daa (diff) | |
| download | freebsd-ports-gnome-5e5327fe8097932b27e9bbbf982a0daf57535ded.tar.gz freebsd-ports-gnome-5e5327fe8097932b27e9bbbf982a0daf57535ded.tar.zst freebsd-ports-gnome-5e5327fe8097932b27e9bbbf982a0daf57535ded.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.
| -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 |