rocksdb.check_ignore_unknown_options 'write_committed' [ fail ]

        Test ended at 2019-07-19 03:35:11

CURRENT_TEST: rocksdb.check_ignore_unknown_options

sh -c sed -i 's/rocksdb_version=.*/rocksdb_version=99.9.9/' /Users/buildbot/maria-slave/mac-1012-bintar/build/mysql-test/var/mysqld.1/data//#rocksdb/OPTIONS-000010

https://buildbot.askmonty.org/buildbot/builders/mac-1012-bintar/builds/5673/steps/test/logs/stdio

sed: 1: "/Users/buildbot/maria-s ...": undefined label 'uildbot/maria-slave/mac-1012-bintar/build/mysql-test/var/mysqld.1/data//#rocksdb/OPTIONS-000010'

mysqltest: At line 11: exec of 'find /Users/buildbot/maria-slave/mac-1012-bintar/build/mysql-test/var/mysqld.1/data//#rocksdb/OPTIONS* | sort -t- -k 2 -n | tail -1 | xargs -0 -I {} -t sh -c "sed -i 's/rocksdb_version=.*/rocksdb_version=99.9.9/' {}"' failed, error: 256, status: 1, errno: 22

Output from before failure:

variable_name	variable_value

ROCKSDB_IGNORE_UNKNOWN_OPTIONS	ON