diff --git a/ci-tools/update-production b/ci-tools/update-production
index 695a7c08191ebd7ba9d2575eca7f7220a995efd6..0fc76c173ba31803794a61f7022f07adc1e89dc2 100755
--- a/ci-tools/update-production
+++ b/ci-tools/update-production
@@ -16,7 +16,10 @@ main() {
     shift
 
     # If there have been no changes we'll just abandon this update.
-    ensure_changes "$SOURCE_BRANCH" "$TARGET_BRANCH"
+    if ! ensure_changes "$SOURCE_BRANCH" "$TARGET_BRANCH"; then
+	echo "No changes."
+	exit 0
+    fi
 
     local NOTES=$(describe_update "$SOURCE_BRANCH" "$TARGET_BRANCH")
 
@@ -30,8 +33,7 @@ ensure_changes() {
     shift
 
     if [ $(git rev-parse "$SOURCE_BRANCH") -eq $(git rev-parse "$TARGET_BRANCH") ]; then
-	echo "No changes."
-	exit 0
+	return 1
     fi
 }