MyRocks: disable rocksdb.check_ignore_unknown_options on Windows

e5bd75fb · Sergei Petrunia · 83cdccdb · e5bd75fb
Commit e5bd75fb authored May 10, 2018 by Sergei Petrunia
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 0 deletions

storage/rocksdb/mysql-test/rocksdb/t/check_ignore_unknown_options.test ...db/mysql-test/rocksdb/t/check_ignore_unknown_options.test +4 -0

No files found.
--- a/storage/rocksdb/mysql-test/rocksdb/t/check_ignore_unknown_options.test
+++ b/storage/rocksdb/mysql-test/rocksdb/t/check_ignore_unknown_options.test
+# MariaDB: "xargs" is not present on windows builders.
+#  we could work around this but this is not a priority.
+--source include/not_windows.inc
+
 --disable_warnings
 let $MYSQLD_DATADIR= `select @@datadir`;
 let $restart_file= $MYSQLTEST_VARDIR/tmp/mysqld.1.expect;