From f4180638af0bf83b68621245bfe57f681c658ca6 Mon Sep 17 00:00:00 2001 From: Enno Rehling Date: Sun, 26 Feb 2017 13:12:47 +0100 Subject: [PATCH] also silence the git pull command and valgrind --- s/preview | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/s/preview b/s/preview index 40dc2952c..68fe6e39f 100755 --- a/s/preview +++ b/s/preview @@ -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