diff options
-rwxr-xr-x | test/LedgerHarness.py | 7 | ||||
-rwxr-xr-x | test/fullcheck.sh | 2 |
2 files changed, 8 insertions, 1 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) diff --git a/test/fullcheck.sh b/test/fullcheck.sh index f607f2d9..db63921d 100755 --- a/test/fullcheck.sh +++ b/test/fullcheck.sh @@ -2,7 +2,7 @@ VALGRIND='' if [ -x /usr/bin/valgrind -o -x /opt/local/bin/valgrind ]; then - VALGRIND=valgrind + VALGRIND="valgrind -q" fi #export MallocGuardEdges=1 |