summaryrefslogtreecommitdiff
path: root/HACKING.adoc
diff options
context:
space:
mode:
authorGabriel Scherer <gabriel.scherer@gmail.com>2023-04-08 16:28:00 +0200
committerGitHub <noreply@github.com>2023-04-08 16:28:00 +0200
commitac30e2cb5874be2f7e03e4cb3caff6fb527ce199 (patch)
tree9b55bf780e6882e1954b27e9c99f8a9ab820a5dd /HACKING.adoc
parent57f5b1f790064f2881a58f005ce5483f2755e76c (diff)
downloadocaml-ac30e2cb5874be2f7e03e4cb3caff6fb527ce199.tar.gz
HACKING.adoc: recommend `make -j`
`make -j` is now used by default in all opam installs, it should be fine for clean builds
Diffstat (limited to 'HACKING.adoc')
-rw-r--r--HACKING.adoc2
1 files changed, 1 insertions, 1 deletions
diff --git a/HACKING.adoc b/HACKING.adoc
index d751186899..84dededf36 100644
--- a/HACKING.adoc
+++ b/HACKING.adoc
@@ -27,7 +27,7 @@ not have this which causes some important development things to be disabled
+
----
./configure
-make
+make -j 4
----
If you are on a release build and need development options, you can add
`--enable-ocamltest` (to allow running the testsuite) and `--enable-warn-error`