diff options
| -rwxr-xr-x | source4/script/valgrind_run | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/source4/script/valgrind_run b/source4/script/valgrind_run index 45361c22b10..5171d171a74 100755 --- a/source4/script/valgrind_run +++ b/source4/script/valgrind_run @@ -4,4 +4,6 @@ ENV="$1" shift 1 -$ENV valgrind -q --db-attach=yes --num-callers=30 $@ +CMD="$ENV valgrind -q --db-attach=yes --num-callers=30 $@" +echo $CMD +eval $CMD |