From 382baeb9be5015ee9eb68c244c5a55a100299805 Mon Sep 17 00:00:00 2001
From: drunkendog <ericrui2012@gmail.com>
Date: Sat, 16 Sep 2023 22:32:07 +0100
Subject: [PATCH] Replace TIMEFORMAT environment env with argument to time

---
 benchmark/benchmark.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/benchmark/benchmark.sh b/benchmark/benchmark.sh
index f2c4f21..ec7bc0b 100644
--- a/benchmark/benchmark.sh
+++ b/benchmark/benchmark.sh
@@ -19,6 +19,6 @@ do
 done
 
 export DEBIAN_FRONTEND=noninteractive
-TIMEFORMAT=%0R /usr/bin/time ${@:1} > /dev/null
+/usr/bin/time -f "%e" ${@:1} > /dev/null
 
 cd ../ && rm -rf temp/