# HG changeset patch # User Matti Hamalainen # Date 1295030121 -7200 # Node ID d0c8dda49726913826eb38df0252092d85fa1dc3 # Parent d9df762179917f34228131de852eda900cd561b9 Update script diff checking was not working, fixed. diff -r d9df76217991 -r d0c8dda49726 update.sh --- a/update.sh Wed Jan 12 03:59:36 2011 +0200 +++ b/update.sh Fri Jan 14 20:35:21 2011 +0200 @@ -20,7 +20,7 @@ # New data fetched, does old file exist? if test -e "$INFILE"; then # Yes, do a diff - if diff "$INFILE" "$INFILE.new"; then + if ! diff "$INFILE" "$INFILE.new" > /dev/null; then # There were differences, do a parse parse=yes mv "$INFILE.new" "$INFILE"