diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -23,6 +23,7 @@ COQEXEC=coqtop $(INCLUDES) -batch -load-vernac-source OCAMLBUILD=ocamlbuild OCB_OPTIONS=\ + -j 2 \ -no-hygiene \ -no-links \ -I extraction $(INCLUDES) |