diff options
-rw-r--r-- | .gitignore | 1 | ||||
-rw-r--r-- | CMakeLists.txt | 3 |
2 files changed, 3 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index 859551d62a0..6f093a3612b 100644 --- a/.gitignore +++ b/.gitignore @@ -189,6 +189,7 @@ storage/myisam/myisampack storage/myisam/rt_test storage/myisam/sp_test storage/rocksdb/ldb +storage/rocksdb/myrocks_hotbackup storage/rocksdb/mysql_ldb storage/rocksdb/sst_dump storage/rocksdb/rdb_source_revision.h diff --git a/CMakeLists.txt b/CMakeLists.txt index a7c419e127e..9f839616159 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -334,7 +334,8 @@ MYSQL_CHECK_SSL() MYSQL_CHECK_READLINE() SET(MALLOC_LIBRARY "system") -SET(PYTHON_SHEBANG "/usr/bin/env python") +SET(PYTHON_SHEBANG "/usr/bin/env python" CACHE STRING "python shebang") +MARK_AS_ADVANCED(PYTHON_SHEBANG) CHECK_PCRE() |