mirror of
https://github.com/MariaDB/server.git
synced 2026-05-15 03:17:20 +02:00
Make the PYTHON_SHEBANG value configurable
and gitignore myrocks_hotbackup (as it's now generated) Closes #1081
This commit is contained in:
parent
7334f9717d
commit
a4ab66c8f8
2 changed files with 3 additions and 1 deletions
1
.gitignore
vendored
1
.gitignore
vendored
|
|
@ -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
|
||||
|
|
|
|||
|
|
@ -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()
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue