add phony targets

LeoVen · Aug 21, 2023 · 3593957 · 3593957
1 parent a873588
commit 3593957
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -26,3 +26,5 @@ docbuild:
 
 docserve:
 	mdbook serve documentation
+
+.PHONY: tests tests_dev format bench docbuild docserve
diff --git a/tests/Makefile b/tests/Makefile
@@ -29,4 +29,4 @@ types:
 	$(CC) ./types.c $(INCLUDE) -Wall -Wextra -O3 -ftime-report -o ./$(OUTDIR)/$@.exe
 	./$(OUTDIR)/$@.exe
 
-.PHONY: main dev clean lcov types
+.PHONY: main dev single clean lcov types