Skip to content
Snippets Groups Projects
Commit 6b6706dc authored by Joan Vallvé Navarro's avatar Joan Vallvé Navarro
Browse files

Update .gitlab-ci.yml file

parent 05597c59
No related branches found
No related tags found
1 merge request!427Resolve "Wolf license"
Pipeline #7331 failed
Stage: license
    Stage: build_and_test
      Stage: deploy
        Stage: final
          This commit is part of merge request !427. Comments created here will be created in the context of that merge request.
          Hide whitespace changes
          Inline Side-by-side
          Showing
          with 6 additions and 2 deletions
          .gitlab-ci.yml
          + 6
          − 2
          View file @ 6b6706dc
          ...@@ -30,15 +30,19 @@ ...@@ -30,15 +30,19 @@
          - cd wolf_scripts - cd wolf_scripts
          - cp license_header_${LICENSE_HEADER_YEAR}.txt license_header_${LICENSE_HEADER_YEAR_NEW}.txt - 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 - 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=. --license-header=license_header_${LICENSE_HEADER_YEAR_NEW}.txt - git add license_header_${LICENSE_HEADER_YEAR_NEW}.txt
          - ./license_manager.sh --update --path=.. --license-header=license_header_${LICENSE_HEADER_YEAR_NEW}.txt
          # ADD: add license headers # ADD: add license headers
          - else - else
          - ./license_manager.sh --add --path=. --license-header=license_header_${LICENSE_HEADER_YEAR}.txt - cd wolf_scripts
          - ./license_manager.sh --add --path=.. --license-header=license_header_${LICENSE_HEADER_YEAR}.txt
          - fi - fi
          - cd ..
          # push changes (if any) # push changes (if any)
          - git config --global user.email "${CI_EMAIL}" - git config --global user.email "${CI_EMAIL}"
          - git config --global user.name "${CI_USERNAME}" - git config --global user.name "${CI_USERNAME}"
          - git add *.c *.h *.cpp *.hpp
          - if git commit -m "license headers added or modified" ; then - 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 remote set-url --push origin "ssh://git@gitlab.iri.upc.edu:2202/${CI_PROJECT_PATH}.git"
          - git push origin HEAD:${CI_COMMIT_REF_NAME} - git push origin HEAD:${CI_COMMIT_REF_NAME}
          ......
          0% or .
          You are about to add 0 people to the discussion. Proceed with caution.
          Finish editing this message first!
          Please register or to comment