diff options
| author | Sergei Petrunia <psergey@askmonty.org> | 2018-05-10 21:46:57 +0300 |
|---|---|---|
| committer | Sergei Petrunia <psergey@askmonty.org> | 2018-05-10 21:46:57 +0300 |
| commit | e5bd75fb4e246b9f0494aab05dd557b18d5921cd (patch) | |
| tree | ab7c761f0c9223d17e087c442a6bc030ffb3ceb9 | |
| parent | 83cdccdb1a941c2885e4b0dc6cdc55ccc97a6ffa (diff) | |
| download | mariadb-git-e5bd75fb4e246b9f0494aab05dd557b18d5921cd.tar.gz | |
MyRocks: disable rocksdb.check_ignore_unknown_options on Windows
| -rw-r--r-- | storage/rocksdb/mysql-test/rocksdb/t/check_ignore_unknown_options.test | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/storage/rocksdb/mysql-test/rocksdb/t/check_ignore_unknown_options.test b/storage/rocksdb/mysql-test/rocksdb/t/check_ignore_unknown_options.test index b4866de4d3b..3316e7ea987 100644 --- a/storage/rocksdb/mysql-test/rocksdb/t/check_ignore_unknown_options.test +++ b/storage/rocksdb/mysql-test/rocksdb/t/check_ignore_unknown_options.test @@ -1,3 +1,7 @@ +# 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; |