From f0603be5c23e9cb2f1e32b0fdcac15848943ff93 Mon Sep 17 00:00:00 2001
From: Simon Ruderich <simon@ruderich.org>
Date: Fri, 3 Dec 2010 12:39:16 +0100
Subject: [PATCH] bin/valgrind{,-ptr}.sh: Add.

Useful options for valgrind.
---
 bin/valgrind-ptr.sh | 3 +++
 bin/valgrind.sh     | 3 +++
 2 files changed, 6 insertions(+)
 create mode 100755 bin/valgrind-ptr.sh
 create mode 100755 bin/valgrind.sh

diff --git a/bin/valgrind-ptr.sh b/bin/valgrind-ptr.sh
new file mode 100755
index 0000000..965a587
--- /dev/null
+++ b/bin/valgrind-ptr.sh
@@ -0,0 +1,3 @@
+#!/bin/sh
+
+valgrind --tool=exp-ptrcheck --error-exitcode=1 "$@"
diff --git a/bin/valgrind.sh b/bin/valgrind.sh
new file mode 100755
index 0000000..dd8038a
--- /dev/null
+++ b/bin/valgrind.sh
@@ -0,0 +1,3 @@
+#!/bin/sh
+
+valgrind --leak-check=full --show-reachable=yes --error-exitcode=1 "$@"
-- 
2.44.2