From 687d3bb9b6746090cfc5be805ea7a94be038110e Mon Sep 17 00:00:00 2001
From: Ezri Zhu <me@ezrizhu.com>
Date: Fri, 19 Jul 2024 15:40:57 -0400
Subject: [PATCH] use exec id as timelog name

---
 try-timed | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/try-timed b/try-timed
index 1380a5d2..651fc40f 100755
--- a/try-timed
+++ b/try-timed
@@ -21,7 +21,7 @@ export TRY_COMMAND
 # Run a command (in `$@`) in an overlay (in `$SANDBOX_DIR`)
 ################################################################################
 
-timelog=${TIMELOG:-timelog}
+timelog="/tmp/try-time-${EXECUTION_ID}"
 echo "" > "$timelog"
 exec 3> "$timelog"