Index: tools/root.make =================================================================== --- tools/root.make (revision 19363) +++ tools/root.make (working copy) @@ -86,6 +86,7 @@ bin: $(DEPFILE) $(TOOLS) $(BUILDDIR)/$(BINARY) rocks: $(DEPFILE) $(TOOLS) $(ROCKS) codecs: $(DEPFILE) $(TOOLS) $(CODECS) +tools: $(TOOLS) -include $(DEPFILE)