diff options
| -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 |