From d8e51d8bc1a42096d45bc3dd13e8b542d9657046 Mon Sep 17 00:00:00 2001
From: Carlos Gutierrez <ingecarlos.gutierrez@gmail.com>
Date: Sun, 5 Oct 2025 08:19:54 -0400
Subject: [PATCH] updating

---
 scripts/run_one.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/scripts/run_one.sh b/scripts/run_one.sh
index a50b4fc..79074dd 100755
--- a/scripts/run_one.sh
+++ b/scripts/run_one.sh
@@ -31,6 +31,12 @@ fi
   > "$LOG_DATA/${TAG}.stdout.log" \
   2> "$LOG_DATA/${TAG}.stderr.log"
 
+# Copy stats from m5out to our output directory
+if [ -f "m5out/stats.txt" ]; then
+  cp m5out/stats.txt "$OUTDIR/"
+  echo "[run_one] Copied stats.txt from m5out to $OUTDIR"
+fi
+
 # mirror to repo
 rsync -a --delete "$OUTDIR/" "$OUT_IOT/$TAG/"
 rsync -a "$LOG_DATA/${TAG}."* "$LOG_IOT/" 2>/dev/null || true