|
From: Ishwara <is...@sz...> - 2014-05-28 16:30:29
|
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) |