update

diff --git a/scripts/benchmark.sh b/scripts/benchmark.sh
index f7cff5a863aaaafc817e5f1a22ce42519169752b..2e4a0a27176bf649d62759f84dd06e428c479960 100644 (file)
--- a/scripts/benchmark.sh
+++ b/scripts/benchmark.sh
@@ -28,6 +28,7 @@ get_test() {
 
 plot() {
   echo "$1"
+  cat "benchmark/results/$1.dat"
   gnuplot -e "bench='$1'" "$plot_script"
 }