diff options
Diffstat (limited to 'source4/script/valgrind_run')
| -rw-r--r-- | source4/script/valgrind_run | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/source4/script/valgrind_run b/source4/script/valgrind_run index 6aa54c70f1..45361c22b1 100644 --- a/source4/script/valgrind_run +++ b/source4/script/valgrind_run @@ -1,2 +1,7 @@ #!/bin/sh -valgrind -q --db-attach=yes --num-callers=30 $@ + +ENV="$1" + +shift 1 + +$ENV valgrind -q --db-attach=yes --num-callers=30 $@ |