diff options
author | Varun Gupta <varunraiko1803@gmail.com> | 2018-01-02 21:50:40 +0200 |
---|---|---|
committer | Varun Gupta <varunraiko1803@gmail.com> | 2018-01-02 21:50:40 +0200 |
commit | b2115ce2353db77b1f89fd7acf83df205098f05e (patch) | |
tree | 7e6f8757779de3926e31ad2f6a1bf85d341ceb70 | |
parent | b32b22babacc3c45e1e03a7e6efa066079d8a993 (diff) | |
download | mariadb-git-b2115ce2353db77b1f89fd7acf83df205098f05e.tar.gz |
Rocksdb fails to build when the source and build directory are not the same. This is a follow
up fix for MDEV-12458
-rw-r--r-- | storage/rocksdb/build_rocksdb.cmake | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/storage/rocksdb/build_rocksdb.cmake b/storage/rocksdb/build_rocksdb.cmake index dd23304a223..5810412f566 100644 --- a/storage/rocksdb/build_rocksdb.cmake +++ b/storage/rocksdb/build_rocksdb.cmake @@ -6,6 +6,7 @@ endif() SET(ROCKSDB_SOURCE_DIR ${CMAKE_CURRENT_SOURCE_DIR}/rocksdb) INCLUDE_DIRECTORIES( + ${CMAKE_CURRENT_BINARY_DIR} ${ROCKSDB_SOURCE_DIR} ${ROCKSDB_SOURCE_DIR}/include ${ROCKSDB_SOURCE_DIR}/third-party/gtest-1.7.0/fused-src |