diff --git a/general.sh b/general.sh index 8cb2278cae..31b5095b5f 100644 --- a/general.sh +++ b/general.sh @@ -66,7 +66,7 @@ if [ -d "$SOURCES/$2/$GITHUBSUBDIR" ]; then cd $SOURCES/$2/$GITHUBSUBDIR git checkout -q $FORCE $3 display_alert "... updating" "$2" "info" - PULL=$(git pull -q) + PULL=$(git pull) else if [[ -n $3 && -n "$(git ls-remote $1 | grep "$tag")" ]]; then display_alert "... creating a shallow clone" "$2 $3" "info"