1 files changed, 7 insertions, 0 deletions
diff --git a/test/LedgerHarness.py b/test/LedgerHarness.py
index 564a4d32..3477e720 100755
--- a/test/LedgerHarness.py
+++ b/test/LedgerHarness.py
@@ -81,6 +81,13 @@ class LedgerHarness:
         command = re.sub('\$ledger', '%s%s %s' % \
                          (self.ledger, insert, '--args-only'), command)
 
+        valgrind = '/usr/bin/valgrind'
+        if not os.path.isfile(valgrind):
+            valgrind = '/opt/local/bin/valgrind'
+
+        if os.path.isfile(valgrind) and '--verify' in insert:
+            command = valgrind + ' -q ' + command
+
         return Popen(command, shell=True, close_fds=True, env=env,
                      stdin=PIPE, stdout=PIPE, stderr=PIPE)