From 83949530463e7666dd52b4d250f76bb22e2af4c7 Mon Sep 17 00:00:00 2001 From: Petr Baudis Date: Sat, 7 Nov 2009 17:44:48 +0100 Subject: [PATCH] jobd/update.sh: Fix ref-change for set -e --- jobd/update.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jobd/update.sh b/jobd/update.sh index 92c74de..aa9af36 100755 --- a/jobd/update.sh +++ b/jobd/update.sh @@ -43,7 +43,7 @@ if [ -S "$sockpath" ] && ! cmp -s .refs-before .refs-after; then { join -j 1 .refs-before .refs-after | while read ref old new; do - [ $old = $new ] && continue; + [ "$old" != "$new" ] || continue echo "ref-change -1 $proj $old $new $ref" done join -j 1 -v 1 .refs-before .refs-after | -- 2.11.4.GIT