diff --git a/ocaml/hacl-star-raw.opam b/ocaml/hacl-star-raw.opam index f1f606c0..abe9a3ad 100644 --- a/ocaml/hacl-star-raw.opam +++ b/ocaml/hacl-star-raw.opam @@ -29,8 +29,8 @@ available: [ (os = "freebsd" | os-family != "bsd") ] build: [ - [make "-C" "hacl-star-raw" "build-c"] - [make "-C" "hacl-star-raw" "build-bindings"] + [make "-C" "hacl-star-raw" "build-c" "-j" jobs] + [make "-C" "hacl-star-raw" "build-bindings" "-j" jobs] ] install: [ [make "-C" "hacl-star-raw" "install"]