Fri Apr 20 09:11:08 PDT 2007 Malcolm.Wallace@cs.york.ac.uk * hmake invokes the compiler too many times if given multiple targets This is a nuisance in the libraries, because some files low in the dependency tree get re-compiled far too often. The workaround for now is to re-invoke hmake on each target separately, rather than invoke it once with multiple targets. M ./src/libraries/Makefile.common -3 +4