mirror of
https://github.com/MariaDB/server.git
synced 2026-05-15 19:37:16 +02:00
MDEV-26579 fixup
This commit is contained in:
parent
ca4bc3e3a9
commit
f68c6ccd20
2 changed files with 5 additions and 7 deletions
|
|
@ -240,8 +240,8 @@ FUNCTION(TRAVERSE_FILES dir topdir file file_comp dir_root)
|
|||
|
||||
SET(NONEXEFILES)
|
||||
FOREACH(v MAJOR_VERSION MINOR_VERSION PATCH_VERSION TINY_VERSION)
|
||||
IF(NOT ${v})
|
||||
MESSAGE(FATAL_ERROR "${v} is not set")
|
||||
IF(NOT DEFINED ${v})
|
||||
MESSAGE(FATAL_ERROR "${v} is not defined")
|
||||
ENDIF()
|
||||
ENDFOREACH()
|
||||
SET(default_version "${MAJOR_VERSION}.${MINOR_VERSION}.${PATCH_VERSION}.${TINY_VERSION}")
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue