diff --git a/Makefile b/Makefile
index 3e1e065537..e958bdc44b 100644
--- a/Makefile
+++ b/Makefile
@@ -103,7 +103,7 @@ install-xen:
 	$(MAKE) -C xen install
 
 .PHONY: install-tools
-install-tools:
+install-tools: build-tools-public-headers
 	$(MAKE) -C tools install
 
 .PHONY: install-stubdom