diff options
Diffstat (limited to 'source4/script/valgrind_run')
| -rwxr-xr-x | source4/script/valgrind_run | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/source4/script/valgrind_run b/source4/script/valgrind_run deleted file mode 100755 index 5171d171a7..0000000000 --- a/source4/script/valgrind_run +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/sh - -ENV="$1" - -shift 1 - -CMD="$ENV valgrind -q --db-attach=yes --num-callers=30 $@" -echo $CMD -eval $CMD |