revision-id: 8d669d6a36d798f9d4f2162789b702a227484474 () parent(s): 7466fe9f82cebb0f64b66dab0b96b84e4ba0a9f1 author: Sergei Petrunia committer: Sergei Petrunia timestamp: 2020-03-09 00:20:43 +0300 message: Code cleanup; print more details --- 02-run-sort-int-bench.sh | 17 +++++++++++------ 1 file changed, 11 insertions(+), 6 deletions(-) diff --git a/02-run-sort-int-bench.sh b/02-run-sort-int-bench.sh index eb3c86d..5d6499b 100644 --- a/02-run-sort-int-bench.sh +++ b/02-run-sort-int-bench.sh @@ -8,13 +8,18 @@ mkdir $RES bash filesort-bench1/01-make-sort-int-bench.sh > $RES/sort-int-bench.sql -bash prepare-server.sh -m mariadb-10.5 -source mariadb-10.5-vars.sh +for SERVER in mariadb-10.5-mdev6915-ext mariadb-10.5 ; do + + (cd $SERVER; git log -1) > $RES/tree-$SERVER.txt -$MYSQL $MYSQL_ARGS test < $RES/sort-int-bench.sql | tee $RES/sort-int-mariadb-10.5.txt + bash prepare-server.sh -m $SERVER + source $SERVER-vars.sh -source mariadb-10.5-mdev6915-ext-vars.sh -bash prepare-server.sh -m mariadb-10.5-mdev6915-ext -$MYSQL $MYSQL_ARGS test < $RES/sort-int-bench.sql | tee $RES/sort-int-mariadb-10.5-mdev6915-ext.txt + $MYSQL $MYSQL_ARGS test < $RES/sort-int-bench.sql | tee $RES/sort-int-$SERVER.txt + echo "TEST_RUN:,$SERVER" >> $RES/summary.txt + tail -n 10 $RES/sort-int-$SERVER.txt >> $RES/summary.txt +done + +cat $RES/summary.txt