use exec id as timelog name

binpash · Jul 19, 2024 · 687d3bb · 687d3bb
1 parent 298ef9c
commit 687d3bb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"