From 90bab6b88e03a170acd644bca672ba2856255058 Mon Sep 17 00:00:00 2001 From: Ruihan Li Date: Fri, 21 Jun 2024 16:39:32 +0800 Subject: [PATCH] Add missing `PHONY`s for `make` targets --- Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Makefile b/Makefile index 37d722d18..10f7fd21e 100644 --- a/Makefile +++ b/Makefile @@ -155,6 +155,7 @@ else ifeq ($(AUTO_TEST), vsock) || (echo "Vsock test failed" && exit 1) endif +.PHONY: gdb_server gdb_server: initramfs $(CARGO_OSDK) @cargo osdk run $(CARGO_OSDK_ARGS) -G --vsc --gdb-server-addr :$(GDB_TCP_PORT) @@ -176,6 +177,7 @@ ktest: initramfs $(CARGO_OSDK) (cd $$dir && cargo osdk test) || exit 1; \ done +.PHONY: docs docs: $(CARGO_OSDK) @for dir in $(NON_OSDK_CRATES); do \ (cd $$dir && cargo doc --no-deps) || exit 1; \