diff options
Diffstat (limited to 'dev/lang/ocaml/ocaml.mkbuild')
| -rw-r--r-- | dev/lang/ocaml/ocaml.mkbuild | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev/lang/ocaml/ocaml.mkbuild b/dev/lang/ocaml/ocaml.mkbuild index 4472151..64f7dac 100644 --- a/dev/lang/ocaml/ocaml.mkbuild +++ b/dev/lang/ocaml/ocaml.mkbuild @@ -53,6 +53,7 @@ off: md5sum_download_and_check_0 off: md5sum_download_and_check_1 off: gpg_signature_check + on: manifest_check on: untar_source off: patch_source on: configure |