forked from github/server
re-enable failing valgrind check with more flags
This commit is contained in:
parent
652136ee46
commit
ca6448ec23
|
@ -19,4 +19,4 @@ inifile
|
||||||
s/runtests
|
s/runtests
|
||||||
cd tests
|
cd tests
|
||||||
./write-reports.sh
|
./write-reports.sh
|
||||||
#./run-turn.sh
|
./run-turn.sh
|
||||||
|
|
|
@ -34,7 +34,7 @@ VALGRIND=`which valgrind`
|
||||||
SERVER=../Debug/eressea/eressea
|
SERVER=../Debug/eressea/eressea
|
||||||
if [ -n "$VALGRIND" ]; then
|
if [ -n "$VALGRIND" ]; then
|
||||||
SUPP=../share/ubuntu-12_04.supp
|
SUPP=../share/ubuntu-12_04.supp
|
||||||
SERVER="$VALGRIND --suppressions=$SUPP --error-exitcode=1 --leak-check=no $SERVER"
|
SERVER="$VALGRIND --track-origins=yes --gen-suppressions=all --suppressions=$SUPP --error-exitcode=1 --leak-check=no $SERVER"
|
||||||
fi
|
fi
|
||||||
echo "running $SERVER"
|
echo "running $SERVER"
|
||||||
$SERVER -t 184 ../scripts/run-turn.lua
|
$SERVER -t 184 ../scripts/run-turn.lua
|
||||||
|
|
Loading…
Reference in New Issue