From d491369d97454fb750de745c5b85e3e41f4a29c2 Mon Sep 17 00:00:00 2001
From: Egor Tensin <Egor.Tensin@gmail.com>
Date: Wed, 19 Jul 2023 16:05:25 +0200
Subject: move valgrind.sh to scripts/

---
 scripts/valgrind.sh | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100755 scripts/valgrind.sh

(limited to 'scripts')

diff --git a/scripts/valgrind.sh b/scripts/valgrind.sh
new file mode 100755
index 0000000..db05a1d
--- /dev/null
+++ b/scripts/valgrind.sh
@@ -0,0 +1,18 @@
+#!/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 \
+    "$@"
-- 
cgit v1.2.3