Use more CPU cores for building the project.

wkolowski · wkolowski · commit 1686cb22d4b7 · 2022-06-27T14:25:48.000+02:00
diff --git a/build.sh b/build.sh
@@ -2,6 +2,6 @@
 
 coq_makefile -R "." Cat -o makefile $(find . -name "*v")
 
-make
+make -j `nproc`
 
 rm makefile makefile.conf
