From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Fri, 17 Jan 2020 00:12:41 +0000 (+0100)
Subject: allow pref
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=18640a33dad267bc3b76225e55ff95f556008f70;p=gwion.git

allow pref
---

diff --git a/scripts/benchmark.sh b/scripts/benchmark.sh
index 55d8ccbc..92bcc650 100644
--- a/scripts/benchmark.sh
+++ b/scripts/benchmark.sh
@@ -10,8 +10,7 @@ run() {
   echo "$1 $3 $2" >&2
   echo "perf stat -r$repeats $1 $test_dir/$3.$2"
 #  sudo echo -1 > /proc/sys/kernel/perf_event_paranoid
-  sudo perf stat $1 $test_dir/$3.$2 >&2
-  perf stat -r"$repeats" "$1" "$test_dir/$3.$2" 2>&1 | grep "time elapsed" |
+  sudo 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/'
 }