blob: a80fd1cc43e6c31a46e794645626736638c158a0 (
plain)
1
2
3
4
5
6
7
8
9
10
|
#!/bin/bash
DATE=`date +%FT%TZ`
if [ $1 == 'python' ]; then
NAME=`basename $2`
else
NAME=$1
fi
env MALLOC_CHECK_=2 G_SLICE=always-malloc valgrind --show-reachable=yes --suppressions=../valgrind/lasso.supp --suppressions=../valgrind/glib.supp --suppressions=../valgrind/openssl.supp --suppressions=/usr/lib/valgrind/python.supp --leak-check=full --log-file="${NAME}_${DATE}_pid-$$.log" --track-origins=yes "$@"
|
