diff options
author | 2015-06-03 00:51:11 -0700 | |
---|---|---|
committer | 2015-06-03 00:51:11 -0700 | |
commit | 71ec6cb332328be05d993cf182cf898e44acbdfb (patch) | |
tree | 6fd4f21778458940e13deecb7627ad46e0096bca /tools/run_tests | |
parent | 09f2bdc847b975a741a614d0c76e587c25ec1508 (diff) |
Fix valgrind
Diffstat (limited to 'tools/run_tests')
-rwxr-xr-x | tools/run_tests/run_tests.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/run_tests/run_tests.py b/tools/run_tests/run_tests.py index 74a0c6cea8..85885dd79f 100755 --- a/tools/run_tests/run_tests.py +++ b/tools/run_tests/run_tests.py @@ -97,7 +97,7 @@ class ValgrindConfig(object): def job_spec(self, cmdline, hash_targets): return jobset.JobSpec(cmdline=['valgrind', '--tool=%s' % self.tool] + self.args + cmdline, - shortname='valgrind %s' % binary, + shortname='valgrind %s' % cmdline[0], hash_targets=None) |