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