diff options
Diffstat (limited to 'tools/valgrind/valgrind_test.py')
| -rwxr-xr-x | tools/valgrind/valgrind_test.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/valgrind/valgrind_test.py b/tools/valgrind/valgrind_test.py index c9e7e46..9409fcd 100755 --- a/tools/valgrind/valgrind_test.py +++ b/tools/valgrind/valgrind_test.py @@ -205,7 +205,8 @@ class ValgrindTool(object): proc = ["valgrind", "--tool=%s" % tool_name, "--smc-check=all", - "--num-callers=%i" % self._num_callers] + "--num-callers=%i" % self._num_callers, + "--demangle=no"] if self._options.trace_children: proc += ["--trace-children=yes"]; |