The alternative is to change the root makefile to call "$(MAKE) -C
tools/ all" instead, but this way feels neater to me.

-- 
Andrew Cooper - Dom0 Kernel Engineer, Citrix XenServer
T: +44 (0)1223 225 900, http://www.citrix.com