diff options
| author | Sergei Golubchik <serg@mariadb.org> | 2019-04-07 00:52:05 +0200 |
|---|---|---|
| committer | Sergei Golubchik <serg@mariadb.org> | 2019-04-07 13:49:04 +0200 |
| commit | 7d720ca8de1b19cff73f0833f1d95924f1088487 (patch) | |
| tree | 6538eb0f3e532d0ba79f4674f64fa4b53f993b14 | |
| parent | 7f5849a809670c6466a71dc93133ca0a1504de05 (diff) | |
| download | mariadb-git-7d720ca8de1b19cff73f0833f1d95924f1088487.tar.gz | |
cmake: don't use generated files to detect a submodule
Even if Makefile for some reason was checked in in a submodule,
it is still a generated file, will be cleaned, won't be in a source
package. One cannot jump to conclusions if it doesn't exist.
| -rw-r--r-- | storage/rocksdb/CMakeLists.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/storage/rocksdb/CMakeLists.txt b/storage/rocksdb/CMakeLists.txt index acbab49c586..4ffa28d4bdb 100644 --- a/storage/rocksdb/CMakeLists.txt +++ b/storage/rocksdb/CMakeLists.txt @@ -5,8 +5,8 @@ MACRO(SKIP_ROCKSDB_PLUGIN msg) RETURN() ENDMACRO() -IF (NOT EXISTS "${CMAKE_CURRENT_SOURCE_DIR}/rocksdb/Makefile") - SKIP_ROCKSDB_PLUGIN("Missing Makefile in rocksdb directory. Try \"git submodule update\".") +IF (NOT EXISTS "${CMAKE_CURRENT_SOURCE_DIR}/rocksdb/CMakeLists.txt") + SKIP_ROCKSDB_PLUGIN("Missing CMakeLists.txt in rocksdb directory. Try \"git submodule update\".") ENDIF() CHECK_LIBRARY_EXISTS(rt timer_delete "" HAVE_TIMER_DELETE) |