1 files changed, 1 insertions, 1 deletions

diff --git a/Makefile b/Makefile
index 387c456a34..933721571d 100644
--- a/Makefile
+++ b/Makefile
@@ -836,4 +836,4 @@ toolsclean:
 
 -include $(DEPS)
 
-.PHONY: all doxygen *install* recurse strip tools
+.PHONY: all doxygen *install* recurse strip *tools