|
From: Duncan S. <bal...@fr...> - 2007-11-13 09:03:30
|
On Monday 12 November 2007 21:48:32 Julian Seward wrote: > > > Any idea what could be causing this and what to do about it? > > The recent Helgrind merge changed a bunch of internal interfaces. > I'm pretty sure this will go away if you rebuild from clean: > make distclean (not merely clean) and start over. You were right: doing "distclean" fixed it - thanks! And thanks again for this fine tool. Best wishes, Duncan. |