diff --git a/mk/linux/mg_valgrind.sh b/mk/linux/mg_valgrind.sh new file mode 100755 index 00000000..85f4e4c9 --- /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>&-