]> Nishi Git Mirror - gwion.git/commitdiff
again
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Fri, 17 Jan 2020 00:55:22 +0000 (01:55 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Fri, 17 Jan 2020 00:55:22 +0000 (01:55 +0100)
.github/workflows/build.yml
scripts/benchmark.sh

index ce0cbe0f4a7f555ee5d902119da55ff9d7cde622..029bab227847671d784d90dc24d3698f77706845 100644 (file)
@@ -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
index fe65b363747aa07e3f657211541f530db1cfd5b5..3d0d087d3aaa0e128e606daf4c9cd448270d5001 100644 (file)
@@ -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/'
 }