re-enable valgrind

This commit is contained in:
Enno Rehling 2015-09-28 11:31:58 +02:00
parent 3eead446d0
commit 5e28cc9de3
1 changed files with 1 additions and 1 deletions

View File

@ -30,7 +30,7 @@ set -e
cd $ROOT/tests
setup
cleanup
#VALGRIND=`which valgrind`
VALGRIND=`which valgrind`
SERVER=../Debug/eressea/eressea
if [ -n "$VALGRIND" ]; then
SUPP=../share/ubuntu-12_04.supp