Why not do "make includes" before "make do-tools" for build.sh?

It's necessary if you are trying to get buy with using "build.sh -u"
_and_ if changes to headers are needed in order to successfully build
some tools, but I'm not sure if it's possible (i.e. whether or not all
the tools used by "make includes" are already built and installed in the
tools directory before the general "make do-tools").  It seems to work
OK, but that's only after getting half-way through the do-tools stage
and then deciding to try saving some time with '-u'....

-- 
								Greg A. Woods

+1 416 218-0098;            <g.a.woods@ieee.org>;           <woods@robohack.ca>
Planix, Inc. <woods@planix.com>; VE3TCP; Secrets of the Weird <woods@weird.com>