From 3551d6f74e17da0bb9de7d2828a55fc79f62e0b6 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Sun, 9 Feb 2025 09:40:33 -0800
Subject: [PATCH] Use the backup bug log more aggressively

---
 run.sh | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/run.sh b/run.sh
index ab5ff60..5236f3b 100755
--- a/run.sh
+++ b/run.sh
@@ -45,11 +45,11 @@ function cleanup() {
     fi
     printf '%s\n\n' '#!/usr/bin/env bash' 'set -o pipefail' 'DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"' 'source "$DIR/coqbot-config.sh"' > "${CUSTOM_REPLY_COQBOT_FILE}"
 
+    touch "${BUILD_LOG}" "${BACKUP_BUG_LOG}"
+    if [ ! -f "${BUG_LOG}" ] || ! grep -q '[^[:space:]]' < "${BUG_LOG}"; then
+        cp -f "${BACKUP_BUG_LOG}" "${BUG_LOG}"
+    fi
     if [ -f "${FINAL_BUG_FILE}" ]; then
-        touch "${BUILD_LOG}" "${BACKUP_BUG_LOG}"
-        if [ ! -f "${BUG_LOG}" ] || ! grep -q '[^[:space:]]' < "${BUG_LOG}"; then
-            cp -f "${BACKUP_BUG_LOG}" "${BUG_LOG}"
-        fi
         if [ -f "${TIMEDOUT_STAMP_FILE}" ]; then # timeout!
             printf "TIMEDOUT=1\n" >> "${METADATA_FILE}"
             printf "RESUMPTION_ARGS=%s\n" "${RESUMPTION_ARGS}" >> "${METADATA_FILE}"