From: Andrei Pavel <andrei@isc.org>
Date: Wed, 30 Dec 2020 11:17:51 +0000 (+0200)
Subject: [#1602] solve CI issues
X-Git-Tag: Kea-1.9.4~140
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=eaec7339e53ea4a91a42328d3c467e9d59ca39b6;p=thirdparty%2Fkea.git

[#1602] solve CI issues
---

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index daf5506072..a2aaae9bf0 100644
--- 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 080df861d8..d720c3637d 100755
--- 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}"