diff options
author | John Marino <marino@FreeBSD.org> | 2016-08-28 06:02:09 +0000 |
---|---|---|
committer | John Marino <marino@FreeBSD.org> | 2016-08-28 06:02:09 +0000 |
commit | 7774203d0bcc44db9c275689f8e8482b33a0fc16 (patch) | |
tree | 85822ee2b0db10dbf80bcf1f85ac3c07001312aa | |
parent | a7fb5472f6630b8f30c228a64f2e8833db8cbf6a (diff) | |
download | ports-7774203d0bcc44db9c275689f8e8482b33a0fc16.tar.gz ports-7774203d0bcc44db9c275689f8e8482b33a0fc16.zip |
Notes
-rw-r--r-- | devel/ocaml-annexlib/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/devel/ocaml-annexlib/Makefile b/devel/ocaml-annexlib/Makefile index 0313126b3e4e..2fc4252aaf61 100644 --- a/devel/ocaml-annexlib/Makefile +++ b/devel/ocaml-annexlib/Makefile @@ -29,6 +29,8 @@ ALL_TARGET= all opt SA_DIR= ${LOCALBASE}/${OCAML_SITELIBDIR} DOCSDIR= ${PREFIX}/share/doc/ocaml/${PORTNAME} +MAKE_JOBS_UNSAFE= yes + post-install-DOCS-on: @${MKDIR} ${STAGEDIR}${DOCSDIR} @${INSTALL_DATA} ${WRKSRC}/doc/html/* ${STAGEDIR}${DOCSDIR} |