diff --git a/Makefile b/Makefile
index e4d2544c..985c754b 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,5 @@
 .POSIX:
+.PHONY: *
 
 default: metal bootstrap wait
 
@@ -8,26 +9,21 @@ configure:
 	./scripts/configure
 	git status
 
-.PHONY: metal
 metal:
 	make -C metal
 
-.PHONY: bootstrap
 bootstrap:
 	make -C bootstrap
 
-.PHONY: external
 external:
 	make -C external
 
 wait:
 	./scripts/wait-main-apps
 
-.PHONY: tools
 tools:
 	make -C tools
 
-.PHONY: docs
 docs:
 	make -C docs