allow pref

diff --git a/scripts/benchmark.sh b/scripts/benchmark.sh
index 92bcc65089b1f7df13b71c82a84e760c39acbb12..01e1ff806514057caa79220cbb8991a809fdf0ce 100644 (file)
--- a/scripts/benchmark.sh
+++ b/scripts/benchmark.sh
@@ -9,8 +9,8 @@ plot_script="scripts/bench.plot"
 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 -r"$repeats" "$1" "$test_dir/$3.$2" 2>&1 | grep "time elapsed" |
+  echo 1 | sudo -a tee /proc/sys/kernel/perf_event_paranoid
+  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/'
 }