[#1602] solve CI issues

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index daf5506072b66cfcc513e6e6f0ba2a1e00fb24bf..a2aaae9bf03ee6ed9eb0fd6914dc6e6493a224ad 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -141,5 +141,5 @@ missing-git-attribute:
     - amd64
   script:
     - test -z $(git diff)
-    - ./tools/print-generated-files -a
+    - ./tools/print-generated-files.sh -a
     - test -z $(git diff)

diff --git a/tools/print-generated-files.sh b/tools/print-generated-files.sh
index 080df861d858489e07f563b107c62dc65f20f92a..d720c3637d8c35fe78e97233e265a1206fba6ed0 100755 (executable)
--- a/tools/print-generated-files.sh
+++ b/tools/print-generated-files.sh
@@ -117,13 +117,13 @@ print_file_name() {
 }
 
 # Generated messages
+# shellcheck disable=SC1003
+# SC1003: Want to escape a single quote? echo 'This is how it'\''s done'
+# reason: No, we don't want to escape a single quote, we want a backslash.
 print_generated_messages() {
   local makefile_am=${1}; shift
   local directory=${1}; shift
 
-  # shellcheck disable=SC1003
-  # SC1003: Want to escape a single quote? echo 'This is how it'\''s done'
-  # reason: No, we don't want to escape a single quote, we want a backslash.
   for j in $(grep -F 'messages:' "${makefile_am}" | cut -d ':' -f '2-' | \
     cut -d '\' -f 1); do
     print_file_name "${directory}/${j}"