From b2115ce2353db77b1f89fd7acf83df205098f05e Mon Sep 17 00:00:00 2001
From: Varun Gupta <varunraiko1803@gmail.com>
Date: Tue, 2 Jan 2018 21:50:40 +0200
Subject: Rocksdb fails to build when the source and build directory are not
 the same. This is a follow up fix for MDEV-12458

---
 storage/rocksdb/build_rocksdb.cmake | 1 +
 1 file changed, 1 insertion(+)

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
-- 
cgit v1.2.1