mysql-test/mysql-test-run.sh: Provide info about the options used for this run to any evaluation tool.
Attach a file by drag & drop or click to upload
