From 255c58c9a5c270865b89e239c2f66dd5b77fe3d8 Mon Sep 17 00:00:00 2001
From: Koichi Nakamura <koichi@idein.jp>
Date: Mon, 11 Jan 2021 17:18:03 +0900
Subject: [PATCH] fix bug

---
 benchmark/gendoc.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/benchmark/gendoc.sh b/benchmark/gendoc.sh
index 5e46617..c3c7c7a 100755
--- a/benchmark/gendoc.sh
+++ b/benchmark/gendoc.sh
@@ -29,7 +29,7 @@ function generate-table {
         t=`benchmark $2 $3`
         echo "| $impl | $t |"
     done
-}
+} | tee -a $FILE
 
-echo "# Benchmarks" >> $FILE
+echo "# Benchmarks" | tee $FILE
 generate-table "Bootstrap Time" bootstrap 5