From 78d5da4b124c1eea6cf20f9fdaf58b2667ee8dd9 Mon Sep 17 00:00:00 2001
From: Kunal241207 <2007guptakunal@gmail.com>
Date: Wed, 4 Mar 2026 23:29:25 +0530
Subject: [PATCH 1/2] Fix macOS compatibility in tools/log.sh

---
 tools/log.sh | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

diff --git a/tools/log.sh b/tools/log.sh
index addcaeb7c..937ab4b76 100644
--- a/tools/log.sh
+++ b/tools/log.sh
@@ -5,14 +5,18 @@ CASENAME="$(pwd | xargs basename)"
 LOGFILE="$CASENAME.log"
 export LOGFILE
 
-STARTDATE="$(date --rfc-email)"
+rfc_email_date() {
+    date --rfc-email 2>/dev/null || date -u '+%a, %d %b %Y %H:%M:%S %z'
+}
+
+STARTDATE="$(rfc_email_date)"
 STARTTIME="$(date +%s)"
 echo "Started on: $STARTDATE" | tee "$CASENAME.log" 2>&1
 
 close_log() {
-    echo "Started on:  $STARTDATE" | tee --append "$LOGFILE" 2>&1
-    ENDDATE="$(date --rfc-email)"
+    echo "Started on:  $STARTDATE" | tee -a "$LOGFILE" 2>&1
+    ENDDATE="$(rfc_email_date)"
     ENDTIME="$(date +%s)"
-    echo "Finished on: $ENDDATE" | tee --append "$LOGFILE" 2>&1
-    echo "Duration:    $((ENDTIME-STARTTIME)) seconds (wall-clock time, including time waiting for participants)" | tee --append "$LOGFILE" 2>&1
+    echo "Finished on: $ENDDATE" | tee -a "$LOGFILE" 2>&1
+    echo "Duration:    $((ENDTIME-STARTTIME)) seconds (wall-clock time, including time waiting for participants)" | tee -a "$LOGFILE" 2>&1
 }

From fdc210a956d7a186a33a745ee0875b758fb95c53 Mon Sep 17 00:00:00 2001
From: Kunal241207 <2007guptakunal@gmail.com>
Date: Fri, 6 Mar 2026 14:45:08 +0530
Subject: [PATCH 2/2] Align fallback date behavior and normalize spacing

---
 tools/log.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/log.sh b/tools/log.sh
index 937ab4b76..4fcda7f8a 100644
--- a/tools/log.sh
+++ b/tools/log.sh
@@ -6,7 +6,7 @@ LOGFILE="$CASENAME.log"
 export LOGFILE
 
 rfc_email_date() {
-    date --rfc-email 2>/dev/null || date -u '+%a, %d %b %Y %H:%M:%S %z'
+    date --rfc-email 2>/dev/null || date '+%a, %d %b %Y %H:%M:%S %z'
 }
 
 STARTDATE="$(rfc_email_date)"
@@ -14,7 +14,7 @@ STARTTIME="$(date +%s)"
 echo "Started on: $STARTDATE" | tee "$CASENAME.log" 2>&1
 
 close_log() {
-    echo "Started on:  $STARTDATE" | tee -a "$LOGFILE" 2>&1
+    echo "Started on: $STARTDATE" | tee -a "$LOGFILE" 2>&1
     ENDDATE="$(rfc_email_date)"
     ENDTIME="$(date +%s)"
     echo "Finished on: $ENDDATE" | tee -a "$LOGFILE" 2>&1