1
0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2025-10-31 15:23:04 +00:00

Sanitize branch name so branches with a slash in its name do not break (Fixes: #521)

This commit is contained in:
Carles Fernandez
2021-07-03 13:41:42 +02:00
parent 4004169f6d
commit ad5ebaa813

View File

@@ -41,6 +41,8 @@ if(GIT_FOUND)
OUTPUT_STRIP_TRAILING_WHITESPACE
)
endif()
# Sanitize branch name
string(REGEX REPLACE "[#!?&|\/^$%*]" "_" GIT_BRANCH "${GIT_BRANCH}")
set(VOLK_GNSSSDR_GIT_BRANCH "${GIT_BRANCH}")
set(VOLK_GNSSSDR_GIT_HASH "${GIT_COMMIT_HASH}")
else()
@@ -51,6 +53,8 @@ else()
endif()
if(GIT_BRANCH)
# Sanitize branch name
string(REGEX REPLACE "[#!?&|\/^$%*]" "_" GIT_BRANCH "${GIT_BRANCH}")
set(VOLK_GNSSSDR_GIT_BRANCH "${GIT_BRANCH}")
else()
set(VOLK_GNSSSDR_GIT_BRANCH "unknown")