From 17c904aaa3900da176211e3591855b7feafb32c8 Mon Sep 17 00:00:00 2001
From: openhands <openhands@all-hands.dev>
Date: Sat, 14 Mar 2026 19:46:50 +0000
Subject: [PATCH] fix: batch-eval.sh MANIFEST_DIR (mktemp -d) has no cleanup
 trap (#763)

---
 tools/push3-evolution/revm-evaluator/batch-eval.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/tools/push3-evolution/revm-evaluator/batch-eval.sh b/tools/push3-evolution/revm-evaluator/batch-eval.sh
index e5210e9..e6c68e1 100755
--- a/tools/push3-evolution/revm-evaluator/batch-eval.sh
+++ b/tools/push3-evolution/revm-evaluator/batch-eval.sh
@@ -103,6 +103,12 @@ fi
 # =============================================================================
 
 MANIFEST_DIR="$(mktemp -d)"
+
+cleanup() {
+    [ -d "${MANIFEST_DIR:-}" ] && rm -rf "$MANIFEST_DIR"
+}
+trap cleanup EXIT
+
 IDS_FILE="$MANIFEST_DIR/ids.txt"
 BYTECODES_FILE="$MANIFEST_DIR/bytecodes.txt"