[0.4.13] Branch releases/0.4.13 & change KERNEL_VERSION_BUILD_TYPE "RC"

This commit is contained in:
Joachim Henze 2019-09-30 18:13:25 +02:00
parent e413df4f4e
commit 07ad6e87e7

View file

@ -7,7 +7,7 @@ set(COPYRIGHT_YEAR "2019")
# 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 "RC")
set(KERNEL_VERSION "${KERNEL_VERSION_MAJOR}.${KERNEL_VERSION_MINOR}.${KERNEL_VERSION_PATCH_LEVEL}")
if(NOT KERNEL_VERSION_BUILD_TYPE STREQUAL "")