From fcfb8cac87390f38e8057591b53233573355e24f Mon Sep 17 00:00:00 2001
From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= <astor.jeremie@wanadoo.fr>
Date: Fri, 17 Jan 2020 00:34:46 +0100
Subject: [PATCH] update

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

diff --git a/scripts/benchmark.sh b/scripts/benchmark.sh
index 2e4a0a27..7bdfc0cf 100644
--- a/scripts/benchmark.sh
+++ b/scripts/benchmark.sh
@@ -7,6 +7,7 @@ plot_script="scripts/bench.plot"
 : "${repeats:=10}"
 
 run() {
+  echo "$1 $3 $2" >&2
   perf stat -r"$repeats" "$1" "$test_dir/$3.$2" 2>&1 | grep "time elapsed" |
     sed 's/ *\([0-9]*\),\([0-9]*\) .* seconds time elapsed *( +- *\([0-9]*\),\([0-9]*\)% )/\1.\2 \3.\4/'
 }
-- 
2.43.0