From 4522bb881a13078319dbc00a84e0ffb11bc985be Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= Date: Fri, 17 Jan 2020 00:28:05 +0100 Subject: [PATCH] update --- scripts/benchmark.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/benchmark.sh b/scripts/benchmark.sh index f7cff5a8..2e4a0a27 100644 --- 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" } -- 2.43.0