Check update_copyright results in precheck stage

(cherry picked from commit 4016369212a4868edcdc83be2ee91493833c90ed)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 08e09dea381979c5bdf7c45f70cf8c60b9fde3cc..567093a9bfde7925a784db0b89ce39cd78c11cea 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -166,6 +166,8 @@ precheck:debian:sid:amd64:
     - perl -w util/merge_copyrights
     - diff -urNap util/copyrights util/newcopyrights
     - rm util/newcopyrights
+    - perl -w util/update_copyrights < util/copyrights
+    - if test "$(git status --porcelain | grep -Ev '\?\?' | wc -l)" -gt "0"; then git status --short; exit 1; fi
     - xmllint --noout --nonet `git ls-files '*.xml' '*.docbook'`
     - xmllint --noout --nonet --html `git ls-files '*.html'`
   artifacts: