From 86bcde82b17592ffa65b71294471db36947da546 Mon Sep 17 00:00:00 2001
From: Sergey Petrunya <psergey@askmonty.org>
Date: Fri, 5 Jul 2013 07:24:04 +0400
Subject: [PATCH] Fix innodb_ignore_builtin.test

---
 mysql-test/mysql-test-run.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mysql-test/mysql-test-run.pl b/mysql-test/mysql-test-run.pl
index 2fb1ec8d879..22c653ed507 100755
--- a/mysql-test/mysql-test-run.pl
+++ b/mysql-test/mysql-test-run.pl
@@ -5307,7 +5307,7 @@ sub mysqld_arguments ($$$) {
               $opt_debug_sync_timeout) unless $opt_user_args;
 
   # MariaDB 10.0: disable innodb persistent statistics
-  mtr_add_arg($args, "--skip-innodb-stats-persistent");
+  mtr_add_arg($args, "--loose-skip-innodb-stats-persistent");
   return $args;
 }