diff options
| -rwxr-xr-x | scripts/run-test | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/run-test b/scripts/run-test index 017562e..8f09c45 100755 --- a/scripts/run-test +++ b/scripts/run-test @@ -6,7 +6,7 @@ NAME=$(basename "$TEST") mkdir -p "reports/$NAME" try_vg() { - if which -s valgrind; then + if which valgrind > /dev/null 2>&1; then valgrind -q --leak-check=full --error-exitcode=1 "$1" else eval "$1" |