Hi I'm new to valgrind. I wanted to change a default tool to e.g. helgrind by setting VALGRIND_OPTS env variable. echo $VALGRIND_OPTS prints: --log-file=rrc.log --time-stamp=yes --tool=helgrind But valgrind keeps running memcheck. Other arguments work, only tool is being ignored. I get the same result when using .valgrindrc file. Anyone has any idea how to change the default tool? (not specifying it each time)
------------------------------------------------------------------------------ Time is money. Stop wasting it! Get your web API in 5 minutes. www.restlet.com/download http://p.sf.net/sfu/restlet _______________________________________________ Valgrind-users mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/valgrind-users
