Some cleanup, remove src/Makefile

FStarLang · Oct 24, 2024 · f3bf15d · f3bf15d
1 parent 4b2ec00
commit f3bf15d
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 76 deletions.
diff --git a/Makefile b/Makefile
@@ -97,7 +97,3 @@ install-share:
 	+$(MAKE) -C share/steel install
 
 install: install-ocaml install-lib install-include install-share install-src-c
-
-
-ci:
-	+$(MAKE) -C src ci
diff --git a/src/Makefile b/src/Makefile