1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 856d777..c9a61d7 100644
--- a/Makefile
+++ b/Makefile
@@ -23,6 +23,7 @@ COQEXEC=coqtop $(INCLUDES) -batch -load-vernac-source
 
 OCAMLBUILD=ocamlbuild
 OCB_OPTIONS=\
+  -j 2 \
   -no-hygiene \
   -no-links \
   -I extraction $(INCLUDES)