skip directories starting with a dot when looking for dune.module
authorAnsgar Burchardt <ansgar@debian.org>
Sat, 19 Mar 2022 12:10:34 +0000 (12:10 +0000)
committerDrew Parsons <dparsons@debian.org>
Sat, 19 Mar 2022 12:10:34 +0000 (12:10 +0000)
===================================================================

Gbp-Pq: Name skip-dirs-starting-with-dot.patch

lib/dunemodules.lib

index 548317f9322cd7cafe17e625b3495b075aba9bf3..04f23ac41fbf56c2649d1151e048e84b62138349 100644 (file)
@@ -258,7 +258,7 @@ find_modules_in_path() {
         while read m; do
           test -n "$m" && parse_control "$m"
         done <<EOFM
-        $(find -H "$dir" -name $CONTROL | $GREP -v 'dune-[-_a-zA-Z]/dune-[-a-zA-Z_]*-[0-9]\{1,\}.[0-9]\{1,\}/')
+        $(find -H "$dir" -name '.?*' -prune -o -name $CONTROL -print | $GREP -v 'dune-[-_a-zA-Z]/dune-[-a-zA-Z_]*-[0-9]\{1,\}.[0-9]\{1,\}/')
 EOFM
          else
         parse_control "$dir"