diff options
Diffstat (limited to 'scripts/valgrind.sh')
| -rwxr-xr-x | scripts/valgrind.sh | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/scripts/valgrind.sh b/scripts/valgrind.sh index db05a1d..c59664d 100755 --- a/scripts/valgrind.sh +++ b/scripts/valgrind.sh @@ -4,15 +4,15 @@ set -o errexit -o nounset -o pipefail shopt -s inherit_errexit lastpipe if ! command -v valgrind &> /dev/null; then - echo 'Please make sure valgrind is available.' >&2 - exit 1 + echo 'Please make sure valgrind is available.' >&2 + exit 1 fi exec valgrind -q \ - --error-exitcode=10 \ - --leak-check=full \ - --show-leak-kinds=all \ - --track-origins=yes \ - --track-fds=yes \ - --trace-children=yes \ - "$@" + --error-exitcode=10 \ + --leak-check=full \ + --show-leak-kinds=all \ + --track-origins=yes \ + --track-fds=yes \ + --trace-children=yes \ + "$@" |