mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-03-26 08:58:40 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions1

Merge efb4cc5ff5 into 02893e875b

Browse source
This commit is contained in:
X Richard 2025-03-22 19:46:38 +08:00 • committed by GitHub
commit 205ac278da
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 3 additions and 0 deletions

3
sql/CMakeLists.txt
View file

@ -447,6 +447,9 @@ ADD_CUSTOM_TARGET(dist
WORKING_DIRECTORY ${CMAKE_BINARY_DIR}
)
ADD_DEPENDENCIES(dist gen_lex_token)
ADD_DEPENDENCIES(dist GenServerSource)
ADD_CUSTOM_TARGET(distclean
COMMAND ${CMAKE_COMMAND} -E echo WARNING: distclean target is not functional
COMMAND ${CMAKE_COMMAND} -E echo Use 'git clean -Xdf' instead