|
From: Nicholas N. <n.n...@gm...> - 2009-08-18 22:14:08
|
On Wed, Aug 19, 2009 at 7:18 AM, Tom Hughes<to...@co...> wrote: > > I think that might be different - is ocean32 a 32 bit OS install? or is it a > 32 bit only valgrind on a 64 bit OS install? The latter, ie. it's configured with --enable-only32bit. Nick |