diff --git a/ci-tools/update-production b/ci-tools/update-production
index 0fd16b89d1318c2a0039a2160fbe6c2aaf74d355..52079d5eb0a4e975bcad265ba7d1d9c6b9a391da 100755
--- a/ci-tools/update-production
+++ b/ci-tools/update-production
@@ -44,7 +44,7 @@ ensure_changes() {
     local TARGET_BRANCH=$1
     shift
 
-    if [ $(git rev-parse origin/"$SOURCE_BRANCH") -eq $(git rev-parse origin/"$TARGET_BRANCH") ]; then
+    if [ "$(git rev-parse origin/"$SOURCE_BRANCH")" = "$(git rev-parse origin/"$TARGET_BRANCH")" ]; then
 	return 1
     fi
 }