From 47ff4ca9dd9a34baf5aab4848839b98fc2d23819 Mon Sep 17 00:00:00 2001
From: Enno Rehling <enno.rehling@gmail.com>
Date: Wed, 5 Aug 2015 18:19:17 +0200
Subject: [PATCH] use suppression file for old ubuntu

---
 tests/write-reports.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/tests/write-reports.sh b/tests/write-reports.sh
index eb42663fe..775fdb622 100755
--- a/tests/write-reports.sh
+++ b/tests/write-reports.sh
@@ -16,13 +16,15 @@ while [ ! -d $ROOT/.git ]; do
   ROOT=`dirname $ROOT`
 done
 
+set -e
 cd $ROOT/tests
 setup
 cleanup
 VALGRIND=`which valgrind`
 SERVER=../Debug/eressea/eressea
 if [ -n "$VALGRIND" ]; then
-SERVER="$VALGRIND $SERVER"
+SUPP=../share/ubuntu-12_04.supp
+SERVER="$VALGRIND --suppressions=$SUPP --error-exitcode=1 --leak-check=no $SERVER"
 fi
 echo "running $SERVER"
 $SERVER -t 184 ../scripts/reports.lua