Remove leftover "elapsed" file reference.

2026-06-07 20:38:51 +01:00
parent ca7829b996
commit ed14b56a7c
1 changed files with 0 additions and 1 deletions
@@ -159,7 +159,6 @@ user %3U
 sys %3S"
 	time sh -c "{ $2; } 2>&3"
 	) 3>&2 2>"${workDir}/times"
-	rm -f "${workDir}/elapsed"
 }

 # Run all defined measurements for which the required options are available.