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

Reply via email to