On Nov 19, 2007 2:33 PM, John Birrell <jb_at_what-creek.com> wrote: > On Mon, Nov 19, 2007 at 09:32:48PM +0000, ????????? Bill Hacker wrote: > > Can someone kindly throw Tinderbox the appropriate fish? > > I am working on fixing this. Sorry. > > Unfortunately the tinderboxes run with custom CFLAGS. > I would change this if I could, but I'm not the first to mention > how frustrating it is. I have never seen a good argument for why > the tinderbox is different from the CVS defaults. > Ooh ooh - stop right there. I strongly disagree with des choosing custom flags, but he has legitimate reasons for doing so. We are only periodically bitten by the custom flags and the tinderboxes are a huge net win. So NO BIKESHEDDING PLEASE. Thanks. -KipReceived on Mon Nov 19 2007 - 22:08:01 UTC
This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:39:22 UTC