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

again
---

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index ce0cbe0f..029bab22 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -29,6 +29,7 @@ jobs:
 
     - name: Benchmark
       run: |
+        echo 1 | sudo tee /proc/sys/kernel/perf_event_paranoid
         git clone https://github.com/wren-lang/wren
         cd wren
         make
diff --git a/scripts/benchmark.sh b/scripts/benchmark.sh
index fe65b363..3d0d087d 100644
--- a/scripts/benchmark.sh
+++ b/scripts/benchmark.sh
@@ -7,10 +7,6 @@ plot_script="scripts/bench.plot"
 : "${repeats:=10}"
 
 run() {
-  echo "$1 $3 $2" >&2
-  echo "perf stat -r$repeats $1 $test_dir/$3.$2"
-  echo 1 | sudo tee /proc/sys/kernel/perf_event_paranoid
-  perf stat "$1" "$test_dir/$3.$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/'
 }