mirror of
https://github.com/MariaDB/server.git
synced 2025-01-15 19:42:28 +01:00
MDEV-6284: Rename .files -> .install
This commit is contained in:
parent
39d2c7b18d
commit
be78eec30a
16 changed files with 2 additions and 2 deletions
|
@ -437,8 +437,8 @@ CONFIGURE_FILE(
|
|||
|
||||
IF(DEB)
|
||||
CONFIGURE_FILE(
|
||||
${CMAKE_SOURCE_DIR}/debian/mariadb-server-10.2.files.in
|
||||
${CMAKE_SOURCE_DIR}/debian/mariadb-server-10.2.files)
|
||||
${CMAKE_SOURCE_DIR}/debian/mariadb-server-10.2.install.in
|
||||
${CMAKE_SOURCE_DIR}/debian/mariadb-server-10.2.install)
|
||||
ENDIF(DEB)
|
||||
|
||||
# Handle the "INFO_*" files.
|
||||
|
|
Loading…
Reference in a new issue