test: change "#!/bin/bash" to "#!/usr/bin/env bash" enhances portability

[notmuch] / test / valgrind / valgrind.sh

diff --git a/test/valgrind/valgrind.sh b/test/valgrind/valgrind.sh
index 582b4dca9497363c7bfd6ae5ecc2c98d28d5ac0a..78700c077e836c8569fd1b96bb5c3abf1e5fd26c 100755 (executable)
--- a/test/valgrind/valgrind.sh
+++ b/test/valgrind/valgrind.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env bash
 
 base=$(basename "$0")
 
@@ -13,7 +13,7 @@ TRACK_ORIGINS=--track-origins=yes
 
 exec valgrind -q --error-exitcode=126 \
        --leak-check=no \
-       --suppressions="$GIT_VALGRIND/default.supp" \
+       --suppressions="$GIT_VALGRIND/suppressions" \
        --gen-suppressions=all \
        $TRACK_ORIGINS \
        --log-fd=4 \