diff --git a/tools/push3-evolution/evolution-daemon.sh b/tools/push3-evolution/evolution-daemon.sh index 262ab38..fbffcb7 100755 --- a/tools/push3-evolution/evolution-daemon.sh +++ b/tools/push3-evolution/evolution-daemon.sh @@ -190,9 +190,8 @@ while true; do log "[2/7] Applying evolution patches…" if ! (cd "$REPO_ROOT" && git apply --check "$PATCH_FILE"); then log " ERROR: evolution.patch needs regeneration — see tools/push3-evolution/evolution.conf" - log " Skipping run (patch does not apply to current tree). Sleeping 300s before retry…" - sleep 300 - continue + log " Exiting — patch does not apply to current tree. Restart daemon after regenerating the patch." + exit 1 fi if (cd "$REPO_ROOT" && git apply "$PATCH_FILE"); then PATCH_APPLIED=true