Commit b5e562ea authored by Tomáš Oberhuber's avatar Tomáš Oberhuber
Browse files

Fixed Documenation/build script to work with git older than 2.22.

parent 74c653f1

Documentation/build

+3 −1
Original line number Diff line number Diff line
@@ -32,7 +32,9 @@ rm -rf ./html/ 


# Assemble environment variables which are used in the Doxyfile

if [[ "$CI_COMMIT_REF_NAME" == "" ]]; then

   _branch=$(git branch --show-current)

   # The following works only with newer versions of git, not in 2.19.1 for example

   #_branch=$(git branch --show-current)

   _branch=$(git rev-parse --abbrev-ref HEAD)

else

   _branch="$CI_COMMIT_REF_NAME"

fi