From 8d0faa41e8ec0f947c12bde6a937218a5a114ba7 Mon Sep 17 00:00:00 2001
From: Bernhard Manfred Gruber <bernhardmgruber@gmail.com>
Date: Wed, 13 Dec 2023 14:35:39 +0100
Subject: [PATCH] Improve synthetic comptime script

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

diff --git a/examples/comptime/benchmark.sh b/examples/comptime/benchmark.sh
index d95490a804..4468c7699c 100755
--- a/examples/comptime/benchmark.sh
+++ b/examples/comptime/benchmark.sh
@@ -6,7 +6,7 @@ for i in {0..1000..20}; do
   cmake -DLLAMA_COMPTIME_RECORD_DIM_SIZE=$i .. > /dev/null 2>&1
   for ((j=0; j < $repetitions; j++)); do
     make clean
-    s=$(\time -f "%e" make llama-comptime 2>&1 > /dev/null)
+    s=$( { TIMEFORMAT=%R; time make -j1 llama-comptime > /dev/null 2>&1 ; unset TIMEFORMAT; } 2>&1 )
     echo $i $s
   done
 done