aboutsummaryrefslogblamecommitdiffstatshomepage
path: root/src/valgrind.sh
blob: db05a1d880ec9ece87e336150c0565a60ec88a9e (plain) (tree)
1
2
3
4
5
6
7
8
9
10









                                                      
                  
                         


                           
                     
                          
        
#!/usr/bin/env bash

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
fi

exec valgrind -q \
    --error-exitcode=10 \
    --leak-check=full \
    --show-leak-kinds=all \
    --track-origins=yes \
    --track-fds=yes \
    --trace-children=yes \
    "$@"