revision-id: 3e6f15943587c3dd046d4d25ce1c85fe4d28eb5d () parent(s): 2a6d8e1aadfd0a11b2bac283ca07195053d64d49 author: Sergei Petrunia committer: Sergei Petrunia timestamp: 2020-03-10 18:25:30 +0300 message: More verbose output --- 06-run-varchar-bench.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/06-run-varchar-bench.sh b/06-run-varchar-bench.sh index 9dd4ec9..d8e910e 100644 --- a/06-run-varchar-bench.sh +++ b/06-run-varchar-bench.sh @@ -14,7 +14,7 @@ for SERVER in mariadb-10.5-mdev6915-ext mariadb-10.5 ; do bash prepare-server.sh -m $SERVER source $SERVER-vars.sh - + echo $SERVER $MYSQL $MYSQL_ARGS test < $RES/varchar-bench.sql | tee $RES/varchar-$SERVER.txt done