tools: add a valgrind helper script
authorJean Privat <jean@pryen.org>
Thu, 24 Jun 2010 06:22:37 +0000 (02:22 -0400)
committerJean Privat <jean@pryen.org>
Thu, 24 Jun 2010 06:22:37 +0000 (02:22 -0400)
commitaeeac68ff1519bace6735f58d12cd8b32ca2df98
tree06c9f2ab9f246b9b94421fc921ca48df1d1295da
parent33928a213274ee42ea341113c746a064da3f6bf4
tools: add a valgrind helper script

The script call valgrind with the right options to disable the GC and
avoid loops.

Signed-off-by: Jean Privat <jean@pryen.org>
src/.gitignore [new file with mode: 0644]
src/valgrind.sh [new file with mode: 0755]