diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/fullcheck | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/tools/fullcheck b/tools/fullcheck new file mode 100755 index 00000000..5763278c --- /dev/null +++ b/tools/fullcheck @@ -0,0 +1,15 @@ +#!/bin/sh + +VALGRIND='' +if [ -x /usr/bin/valgrind ]; then + VALGRIND=valgrind +fi + +export MallocGuardEdges=1 +export MallocScribble=1 +export MallocPreScribble=1 +export MallocCheckHeapStart=100 +export MallocCheckHeapEach=100 +export DYLD_INSERT_LIBRARIES=/usr/lib/libgmalloc.dylib + +exec $VALGRIND $@ |