21-run-varch-bench-again.sh

#!/bin/bash

set -e

RES='result-varchars'

mkdir $RES

bash filesort-bench1/06-make-varchar-bench.sh > $RES/varchar-bench.sql

for SERVER in 10.5-old 10.5-new ; do
  
  (cd $SERVER; git log -1) > $RES/tree-$SERVER.txt

  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