Add .NOTPARALLEL: to makefile

LPCIC · Feb 25, 2025 · 0609bff · 0609bff
1 parent 19cc599
commit 0609bff
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -2,6 +2,9 @@ dune_wrap = $(shell command -v coqc > /dev/null || echo "etc/with-rocq-wrap.sh")
 dune = $(dune_wrap) dune $(1) $(DUNE_$(1)_FLAGS --stop-on-first-error
 DUNE_IN_FILES = $(shell find . -name "dune.in" | sed -e 's/.in$$//')
 
+# dune doesn't support parallel invocations
+.NOTPARALLEL:
+
 all: $(DUNE_IN_FILES)
 	$(call dune,build)
 	$(call dune,build) builtin-doc