also silence the git pull command and valgrind

This commit is contained in:
Enno Rehling 2017-02-26 13:12:47 +01:00
parent 7a1cebb259
commit f4180638af
1 changed files with 2 additions and 2 deletions

View File

@ -25,7 +25,7 @@ cd $SOURCE
rm -rf crypto tolua
git fetch || abort "failed to update source. do you have local changes?"
[ -z $1 ] || git checkout $1
git pull
git pull -q
git submodule update
s/build > /dev/null || abort "build failed."
}
@ -79,7 +79,7 @@ SUPP="$SOURCE/share/debian-7_8.supp"
SERVER="$SOURCE/Debug/eressea/eressea"
VALGRIND=$(which valgrind)
if [ ! -z $VALGRIND ]; then
SERVER="$VALGRIND --suppressions=$SUPP --error-exitcode=1 --leak-check=no $SERVER"
SERVER="$VALGRIND --quiet --suppressions=$SUPP --error-exitcode=1 --leak-check=no $SERVER"
fi
$SERVER -v$verbose -t$turn $SOURCE/scripts/run-turn.lua
let turn=$turn+1