On 10 Sep 2007, at 20:19, Michael G Schwern wrote: >> How does that differ from what ./Build testprove does? > > Most users don't run ./Build testprove, they run ./Build test and > make test. I'm not suggesting it's a bad thing - just wondering what the distinction now was and whether we still needed testprove at all. -- Andy Armstrong, hexten.net