From 9007a51a8255884954918ebe1c23289ec73be378 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Joan=20Vallv=C3=A9=20Navarro?= <jvallve@iri.upc.edu>
Date: Fri, 19 Nov 2021 15:55:30 +0100
Subject: [PATCH] Update .gitlab-ci.yml file
---
.gitlab-ci.yml | 40 ++++++++++++++++++++--------------------
1 file changed, 20 insertions(+), 20 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 2f6f555ce..c7fa3037c 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
--
GitLab