diff options
Diffstat (limited to 'src/third_party/wiredtiger/test/format/vt')
-rw-r--r-- | src/third_party/wiredtiger/test/format/vt | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/src/third_party/wiredtiger/test/format/vt b/src/third_party/wiredtiger/test/format/vt new file mode 100644 index 00000000000..00ec92df1ec --- /dev/null +++ b/src/third_party/wiredtiger/test/format/vt @@ -0,0 +1,21 @@ +#! /bin/sh + +rm -f vgout.* + +# Command line argument is the number of iterations. +r=1 +test $# -eq 0 || r=$1 + +# Add +# --db-attach=yes +# to wait on a debugger attach. +while test $r -gt 0; do + r=`expr $r - 1` + valgrind \ + --leak-check=yes \ + --log-file=vgout.%p \ + --read-var-info=yes \ + --suppressions=vt.suppress \ + --track-fds=yes \ + ./t -1 +done |