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/

---
 src/valgrind.sh | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100755 src/valgrind.sh

(limited to 'src')

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 \
-    "$@"
-- 
cgit v1.2.3