diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2023-07-19 16:05:25 +0200 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2023-07-19 16:05:25 +0200 |
| commit | d491369d97454fb750de745c5b85e3e41f4a29c2 (patch) | |
| tree | 493638d7ea687c12b7439a5b202e058fc3653fd9 /src/valgrind.sh | |
| parent | flamegraph.sh: reduce graph width (diff) | |
| download | cimple-d491369d97454fb750de745c5b85e3e41f4a29c2.tar.gz cimple-d491369d97454fb750de745c5b85e3e41f4a29c2.zip | |
move valgrind.sh to scripts/
Diffstat (limited to 'src/valgrind.sh')
| -rwxr-xr-x | src/valgrind.sh | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/src/valgrind.sh b/src/valgrind.sh deleted file mode 100755 index db05a1d..0000000 --- a/src/valgrind.sh +++ /dev/null @@ -1,18 +0,0 @@ -#!/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 \ - "$@" |