diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 2f6f555ce700f3cea00080fb45b052e9be850f37..c7fa3037c7fd9cea09b38c0e9bdb6094ccbf57ce 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -26,30 +26,30 @@ - exit 1 # LICENSE MANAGEMENT - - echo "current year of the headers: ${LICENSE_HEADER_YEAR}" - - export LICENSE_HEADER_YEAR_NEW=$( date +'%Y' ) + #- echo "current year of the headers: ${LICENSE_HEADER_YEAR}" + #- export LICENSE_HEADER_YEAR_NEW=$( date +'%Y' ) # UPDATE: check if license headers have to be updated - - if [ ! ${LICENSE_HEADER_YEAR} == ${LICENSE_HEADER_YEAR_NEW} ] - - echo "license headers should be changed!" - - echo "Creating new file wolf_scripts/license_header_${LICENSE_HEADER_YEAR_NEW}.txt..." - - cd wolf_scripts - - cp license_header_${LICENSE_HEADER_YEAR}.txt license_header_${LICENSE_HEADER_YEAR_NEW}.txt - - sed -e "s/${LICENSE_HEADER_YEAR}/'${LICENSE_HEADER_YEAR},${LICENSE_HEADER_YEAR_NEW}'/g" license_header_${LICENSE_HEADER_YEAR_NEW}.txt - - ./license_manager.sh --update --path=${HOME}/???? --license-header=license_header_${LICENSE_HEADER_YEAR_NEW}.txt + #- if [ ! ${LICENSE_HEADER_YEAR} == ${LICENSE_HEADER_YEAR_NEW} ] + #- echo "license headers should be changed!" + #- echo "Creating new file wolf_scripts/license_header_${LICENSE_HEADER_YEAR_NEW}.txt..." + #- cd wolf_scripts + #- cp license_header_${LICENSE_HEADER_YEAR}.txt license_header_${LICENSE_HEADER_YEAR_NEW}.txt + #- sed -e "s/${LICENSE_HEADER_YEAR}/'${LICENSE_HEADER_YEAR},${LICENSE_HEADER_YEAR_NEW}'/g" license_header_${LICENSE_HEADER_YEAR_NEW}.txt + #- ./license_manager.sh --update --path=${HOME}/???? --license-header=license_header_${LICENSE_HEADER_YEAR_NEW}.txt # ADD: add license headers - - else - - ./license_manager.sh --add --path=${HOME}/???? --license-header=license_header_${LICENSE_HEADER_YEAR}.txt - - fi + #- else + #- ./license_manager.sh --add --path=${HOME}/???? --license-header=license_header_${LICENSE_HEADER_YEAR}.txt + #- fi # push changes (if any) - - git config --global user.email "${CI_EMAIL}" - - git config --global user.name "${CI_USERNAME}" - - if git commit -m "license headers added or modified" ; then - - git remote set-url --push origin "ssh://git@gitlab.iri.upc.edu:2202/${CI_PROJECT_PATH}.git" - - git push origin HEAD:${CI_COMMIT_REF_NAME} - - else - - echo "No changes, nothing to commit!" - - fi + #- git config --global user.email "${CI_EMAIL}" + #- git config --global user.name "${CI_USERNAME}" + #- if git commit -m "license headers added or modified" ; then + #- git remote set-url --push origin "ssh://git@gitlab.iri.upc.edu:2202/${CI_PROJECT_PATH}.git" + #- git push origin HEAD:${CI_COMMIT_REF_NAME} + #- else + #- echo "No changes, nothing to commit!" + #- fi .build_and_test_template: &build_and_test_definition - mkdir -pv build