restore make -C src ci

FStarLang · Feb 8, 2024 · 7dbeb38 · 7dbeb38
1 parent acb7fd2
commit 7dbeb38
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 18 deletions.
diff --git a/src/Makefile b/src/Makefile
@@ -43,20 +43,15 @@ clean-snapshot:
 
 .PHONY: full-boot
 full-boot:
-	+$(MAKE) build
 	+$(MAKE) clean-snapshot
 	+$(MAKE) boot
 
-.PHONY: proofs
-proofs:
-	+$(MAKE) -C $@
-
 .PHONY: share
 share:
 	+$(MAKE) -C ../share/steel
 
 .PHONY: test
-test: proofs share
+test: share
 
 .PHONY: check-for-changes
 check-for-changes:

diff --git a/src/proofs/Makefile b/src/proofs/Makefile