Merge pull request #661 from proux01/fix_build

Don't run tests in build target
LPCIC · Jul 13, 2024 · 56b874c · 56b874c
2 parents 1931f7b + 873e371
commit 56b874c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -13,7 +13,7 @@ build-apps:
 .PHONY: build-apps
 
 build:
-	$(call dune,build) @install
+	$(call dune,build) -p coq-elpi @install
 .PHONY: build
 
 test-core: