Embed GitHub run number

This commit is contained in:
TheAssassin
2021-05-25 10:51:05 +02:00
parent 39b03f630d
commit 49c3a57226

View File

@@ -28,10 +28,12 @@ execute_process(
# set version and build number
set(VERSION 1-alpha)
if("$ENV{TRAVIS_BUILD_NUMBER}" STREQUAL "")
set(BUILD_NUMBER "<local dev build>")
else()
if(DEFINED ENV{TRAVIS_BUILD_NUMBER})
set(BUILD_NUMBER "Travis build $ENV{TRAVIS_BUILD_NUMBER}")
elseif(DEFINED ENV{GITHUB_RUN_NUMBER})
set(BUILD_NUMBER "GitHub actions build $ENV{GITHUB_RUN_NUMBER}")
else()
set(BUILD_NUMBER "<local dev build>")
endif()
# get current date