ci: remove READMEs from copyright correctly #94

GaloisInc · Jul 23, 2024 · fe75497 · fe75497
1 parent 27289c8
commit fe75497
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/check_copyright.sh b/scripts/check_copyright.sh
@@ -16,7 +16,7 @@ AUTHOR="@author"
 interesting_files() {
     for fname in $@ ; do
         case $fname in
-            README.md) continue ;;
+            *README.md) continue ;;
 
             *.cry | *.tex | *.md | *.bat | *.awk)
                 echo $fname ;;