aboutsummaryrefslogtreecommitdiff
path: root/dev/lang/ocaml/ocaml.mkbuild
diff options
context:
space:
mode:
Diffstat (limited to 'dev/lang/ocaml/ocaml.mkbuild')
-rw-r--r--dev/lang/ocaml/ocaml.mkbuild1
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