1
0
mirror of https://github.com/MariaDB/server.git synced 2026-10-23 18:49:29 +03:00

compilation and test failures

This commit is contained in:
Sergei Golubchik
2012-10-04 22:04:19 +02:00
parent 172b631c7f
commit 7077636ad4
4 changed files with 13 additions and 50 deletions

View File

@@ -9,6 +9,7 @@ SET @orig = @@global.innodb_buffer_pool_filename;
SELECT @orig;
let $old_val=query_get_value(SHOW STATUS LIKE 'innodb_buffer_pool_dump_status', Value, 1);
sleep 1; # to ensure that the previous and the next dumps are at least a second apart
# Try with a non-default filename