[0.4.7] remove "dev" from version string and add the golden release-kiss

This commit is contained in:
Joachim Henze 2017-11-24 21:02:01 +01:00
parent 2fda8374a2
commit 31794c27eb

View file

@ -7,7 +7,7 @@ set(COPYRIGHT_YEAR "2017")
# KERNEL_VERSION_BUILD_TYPE is "dev" for Git builds
# or "RC1", "RC2", "" for releases.
set(KERNEL_VERSION_BUILD_TYPE "dev")
set(KERNEL_VERSION_BUILD_TYPE "")
set(KERNEL_VERSION "${KERNEL_VERSION_MAJOR}.${KERNEL_VERSION_MINOR}.${KERNEL_VERSION_PATCH_LEVEL}")
if(NOT KERNEL_VERSION_BUILD_TYPE STREQUAL "")