At 05:42 PM 12/5/2001 +0000, Simon Cozens wrote: >and tinderbox people >especially - have to rerun Configure.
Doing a "make clean" looks to be required first to get tinderbox checkouts
happy again.
Dan
--------------------------------------"it's like this"-------------------
Dan Sugalski even samurai
[EMAIL PROTECTED] have teddy bears and even
teddy bears get drunk
