diff options
| author | Varun Gupta <varunraiko1803@gmail.com> | 2017-12-31 16:18:39 +0200 |
|---|---|---|
| committer | Varun Gupta <varunraiko1803@gmail.com> | 2017-12-31 21:58:50 +0200 |
| commit | 7703095d2e26a15d4ecbd3683f9779b97f851c98 (patch) | |
| tree | 3c6f8b9673a17c382d4f78c6e141fc3d6ae37f54 /cmake/make_dist.cmake.in | |
| parent | a118c20c8151a4e95f133b6d5bf92bafc7835e23 (diff) | |
| download | mariadb-git-7703095d2e26a15d4ecbd3683f9779b97f851c98.tar.gz | |
MDEV-12458: Variable and log records to indicate RocksDB version are missing
Added a system variabe rocsdb_git_hash to MyRocks which tell us the version of RocksDB being used
Diffstat (limited to 'cmake/make_dist.cmake.in')
| -rw-r--r-- | cmake/make_dist.cmake.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/cmake/make_dist.cmake.in b/cmake/make_dist.cmake.in index 3cc93d10fb8..2e3dbb987f0 100644 --- a/cmake/make_dist.cmake.in +++ b/cmake/make_dist.cmake.in @@ -52,6 +52,9 @@ IF(GIT_EXECUTABLE) ENDIF() ENDIF() +CONFIGURE_FILE(${CMAKE_BINARY_DIR}/storage/rocksdb/rdb_source_revision.h + ${PACKAGE_DIR}/storage/rocksdb/rdb_source_revision.h COPYONLY) + IF(NOT GIT_EXECUTABLE) MESSAGE(STATUS "git not found or source dir is not a repo, use CPack") |