Skip to content
Snippets Groups Projects

Resolve "Wolf license"

Merged Joan Vallvé Navarro requested to merge 198-wolf-license into devel
1 file
+ 6
2
Compare changes
  • Side-by-side
  • Inline
+ 6
2
@@ -30,15 +30,19 @@
- 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=. --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
- 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
- cd ..
# push changes (if any)
- git config --global user.email "${CI_EMAIL}"
- git config --global user.name "${CI_USERNAME}"
- git add *.c *.h *.cpp *.hpp
- 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}
Loading