1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

Replace non-repeatable page-type-dump directory.

This commit is contained in:
Jan Lindström
2016-10-03 19:19:00 +03:00
parent a0a4079b78
commit cb2c2f1ddf
2 changed files with 2 additions and 1 deletions

View File

@ -30,7 +30,7 @@ no-check FALSE
allow-mismatches 0
write crc32
page-type-summary FALSE
page-type-dump /dev/shm/tmp/dump.txt
page-type-dump MYSQLTEST_VARDIR/tmp/dump.txt
log (No default value)
leaf FALSE
merge 0