From 7e328eee3cfddf3a3907965148e0d902295a0c8e Mon Sep 17 00:00:00 2001
From: Bruno Haible <bruno@clisp.org>
Date: Tue, 7 Feb 2023 13:30:46 +0100
Subject: check-copyright: Don't fail because of the 'glob' module.

Reported by Bjarni Ingi Gislason <bjarniig@simnet.is> in
<https://lists.gnu.org/archive/html/bug-gnulib/2023-02/msg00057.html>.

* check-copyright: Filter out the files from the 'glob' module.
---
 check-copyright | 18 +++++++++++++-----
 1 file changed, 13 insertions(+), 5 deletions(-)

(limited to 'check-copyright')

diff --git a/check-copyright b/check-copyright
index ee173c2595..bfd42fe1f2 100755
--- a/check-copyright
+++ b/check-copyright
@@ -170,12 +170,20 @@ for file in $candidates; do
     fi
   done
   if test "$file_license" != "$weakest_license"; then
-    if test $error = 0; then
-      echo "Module License    File License      File name"
-      echo "================= ================= ====================================="
+    # The 'glob' module is a special case. It contains LGPLv2+ code (shared with
+    # glibc) but at the same time also has a dependency to a module under GPL
+    # (namely, 'fstatat'). This is not a mistake.
+    if test "$weakest_license" = GPL \
+       && case "$file" in lib/glob*) true ;; *) false ;; esac; then
+      :
+    else
+      if test $error = 0; then
+        echo "Module License    File License      File name"
+        echo "================= ================= ====================================="
+      fi
+      printf '%-17s %-17s %s\n' "$weakest_license" "$file_license" "$file"
+      error=1
     fi
-    printf '%-17s %-17s %s\n' "$weakest_license" "$file_license" "$file"
-    error=1
   fi
 done
 exit $error
-- 
cgit v1.2.1