Fix for newer version of git
authorMagnus Hagander <magnus@hagander.net>
Sun, 6 Nov 2011 11:10:10 +0000 (12:10 +0100)
committerMagnus Hagander <magnus@hagander.net>
Sun, 6 Nov 2011 11:10:10 +0000 (12:10 +0100)
tools/update/update.sh

index a1d6bc40580631b288f6aec470ccc885293f5ccc..25922e0e3ed8a7e00ec0a625d7806174500349b2 100755 (executable)
@@ -13,7 +13,7 @@ UPDDIR=$(dirname $0)
 cd $UPDDIR
 
 # Pull changes from the it repo
-git pull -q|grep -v "Already up-to-date"
+git pull -q|grep -v "up to date"
 
 # Figure out if something changed
 git log -n1 --pretty=oneline > /tmp/pgweb.update