diff options
Diffstat (limited to 'HACKING.adoc')
-rw-r--r-- | HACKING.adoc | 2 |
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` |