From 54167054a1ba53faf2f3a4db1078c5f402034271 Mon Sep 17 00:00:00 2001 From: Mark Vejvoda Date: Wed, 28 Sep 2011 15:38:16 +0000 Subject: [PATCH] - added script to run mg with valgrind --- mk/linux/mg_valgrind.sh | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100755 mk/linux/mg_valgrind.sh diff --git a/mk/linux/mg_valgrind.sh b/mk/linux/mg_valgrind.sh new file mode 100755 index 000000000..85f4e4c9b --- /dev/null +++ b/mk/linux/mg_valgrind.sh @@ -0,0 +1,13 @@ +#! /bin/sh + +exec 3>&1 +export GLIBCPP_FORCE_NEW=1 +export GLIBCXX_FORCE_NEW=1 +export G_SLICE=always-malloc + +exec valgrind --num-callers=50 \ + --leak-check=yes \ + --leak-resolution=high \ + --show-reachable=yes \ + "$@" 2>&1 1>&3 3>&- | +sed 's/^==[0-9]*==/==/' >&2 1>&2 3>&-