On Sun, Nov 03, 2002 at 12:38:56PM +0100, Reinier Jonker wrote: > USETOOLS=no worked. Thanks! Just for the record, and don't ask for details, please: USETOOLS=never is better (or used to be, when we had support for the old and new toolchain, I'm not sure if this is still true) Martin