]> Nishi Git Mirror - gwion.git/commitdiff
test perf
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Thu, 16 Jan 2020 23:37:57 +0000 (00:37 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Thu, 16 Jan 2020 23:37:57 +0000 (00:37 +0100)
scripts/benchmark.sh

index 7bdfc0cf28fa38ddf6dbe501448995799c4e97d9..b7eb8ddc8693da6fb3703dd8e51b92b326c4b1c4 100644 (file)
@@ -28,6 +28,7 @@ get_test() {
 }
 
 plot() {
+  which perf
   echo "$1"
   cat "benchmark/results/$1.dat"
   gnuplot -e "bench='$1'" "$plot_script"