aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/src
diff options
context:
space:
mode:
authorEgor Tensin <Egor.Tensin@gmail.com>2023-07-19 16:05:25 +0200
committerEgor Tensin <Egor.Tensin@gmail.com>2023-07-19 16:05:25 +0200
commitd491369d97454fb750de745c5b85e3e41f4a29c2 (patch)
tree493638d7ea687c12b7439a5b202e058fc3653fd9 /src
parentflamegraph.sh: reduce graph width (diff)
downloadcimple-d491369d97454fb750de745c5b85e3e41f4a29c2.tar.gz
cimple-d491369d97454fb750de745c5b85e3e41f4a29c2.zip
move valgrind.sh to scripts/
Diffstat (limited to 'src')
-rwxr-xr-xsrc/valgrind.sh18
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 \
- "$@"