diff options
| author | Marko Mäkelä <marko.makela@mariadb.com> | 2018-06-15 11:52:38 +0300 |
|---|---|---|
| committer | Marko Mäkelä <marko.makela@mariadb.com> | 2018-06-15 11:52:38 +0300 |
| commit | c81d60244558b517e7ee4e80e219bf095519e0ee (patch) | |
| tree | 77cb8171519011b2bf5acbb25d02fde582bb4a8d | |
| parent | 1f5b8e96d1e47b2e7ee99ad9c5e9f5e5b5da6888 (diff) | |
| download | mariadb-git-c81d60244558b517e7ee4e80e219bf095519e0ee.tar.gz | |
Disable MyRocks build
This branch contains a very old version of MyRocks, which is not
really needed. Do not build it, so that the builds and tests will
run faster and will not cause unnecessary failures.
| -rw-r--r-- | storage/rocksdb/CMakeLists.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/storage/rocksdb/CMakeLists.txt b/storage/rocksdb/CMakeLists.txt index bf95201fb4b..73e0c4fe858 100644 --- a/storage/rocksdb/CMakeLists.txt +++ b/storage/rocksdb/CMakeLists.txt @@ -5,6 +5,9 @@ MACRO(SKIP_ROCKSDB_PLUGIN msg) RETURN() ENDMACRO() +# DO NOT MERGE THIS TO ANY BRANCH!!! +SKIP_ROCKSDB_PLUGIN("Not GA quality in the compatibility branch") + IF (NOT EXISTS "${CMAKE_CURRENT_SOURCE_DIR}/rocksdb/Makefile") SKIP_ROCKSDB_PLUGIN("Missing Makefile in rocksdb directory. Try \"git submodule update\".") ENDIF() |