|
From: Dirk M. <dm...@gm...> - 2005-08-19 13:48:24
|
On Friday 19 August 2005 14:46, Tom Hughes wrote: > them both on a 64 bit machine, rename /usr/bin/valgrind from each to > something else and write a shell script to decide which one to start. Yeah, once again we're back to a valgrind shell wrapper ;) so the valgrind binary itself should move to libdir as well. I don't see any other solution right now. Dirk |