mirror of
https://github.com/MariaDB/server.git
synced 2025-01-18 04:53:01 +01:00
Add missing source include/have_rocksdb.inc
This commit is contained in:
parent
20c085a4b7
commit
bf578ff920
1 changed files with 1 additions and 0 deletions
|
@ -1,3 +1,4 @@
|
||||||
|
--source include/have_rocksdb.inc
|
||||||
--source include/have_partition.inc
|
--source include/have_partition.inc
|
||||||
--disable_warnings
|
--disable_warnings
|
||||||
drop table if exists t;
|
drop table if exists t;
|
||||||
|
|
Loading…
Reference in a new issue