From 06d3c38be4465c91e661a11e0f3d3bcd77ed478b Mon Sep 17 00:00:00 2001 From: Fish <> Date: Sat, 13 Aug 2005 09:31:05 +0000 Subject: [PATCH] forgot this file --- .gitattributes | 1 + tools/runvalgrind.sh | 1 + 2 files changed, 2 insertions(+) create mode 100755 tools/runvalgrind.sh diff --git a/.gitattributes b/.gitattributes index 27296f0d..e73d3d68 100644 --- a/.gitattributes +++ b/.gitattributes @@ -567,6 +567,7 @@ src/win32/resource.h -text src/win32/winmain.c -text tools/generate_header -text tools/neostats.suppression -text +tools/runvalgrind.sh -text tools/sqlphp/README -text tools/sqlphp/rta_tables.php -text tools/sqlphp/rta_view.php -text diff --git a/tools/runvalgrind.sh b/tools/runvalgrind.sh new file mode 100755 index 00000000..76fe208e --- /dev/null +++ b/tools/runvalgrind.sh @@ -0,0 +1 @@ +valgrind --leak-check=full --suppressions=../tools/neostats.suppression --show-reachable=yes -v .libs/neostats