From 51acc1de4ba37af707b8de663a3ad11a5362b8f8 Mon Sep 17 00:00:00 2001 From: Michael Behrisch Date: Tue, 31 Oct 2023 22:40:56 +0100 Subject: [PATCH] cleaning sumo dir before build #3 --- tools/build/dailyUpdateMakeGCC.sh | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/tools/build/dailyUpdateMakeGCC.sh b/tools/build/dailyUpdateMakeGCC.sh index c997271f8947..c8c4deb02cb6 100755 --- a/tools/build/dailyUpdateMakeGCC.sh +++ b/tools/build/dailyUpdateMakeGCC.sh @@ -37,8 +37,7 @@ echo -n "$FILEPREFIX " > $STATUSLOG date >> $STATUSLOG echo "--" >> $STATUSLOG cd $PREFIX/sumo -rm -rf build/$FILEPREFIX -git clean -f -x bin &> $MAKELOG || (echo "git clean failed" | tee -a $STATUSLOG; tail -10 $MAKELOG) +git clean -f -x -q . &> $MAKELOG || (echo "git clean failed" | tee -a $STATUSLOG; tail -10 $MAKELOG) basename $MAKELOG >> $STATUSLOG git pull >> $MAKELOG 2>&1 || (echo "git pull failed" | tee -a $STATUSLOG; tail -10 $MAKELOG) git submodule update >> $MAKELOG 2>&1 || (echo "git submodule update failed" | tee -a $STATUSLOG; tail -10 $MAKELOG)