14 Oct
2010
14 Oct
'10
9:34 p.m.
On Thu, Oct 14, 2010 at 06:47:22PM +0100, Timo Sirainen wrote:
VALGRIND=no ./configure
That will work for taking it out. Making it optional, checking dependencies etc will require more work.
But yeah, I will go for disabling valgrind. The above is good enough. Thanks.
Eray