From 8e2bb62f6cdeeb04678e66a3707fc811653659b2 Mon Sep 17 00:00:00 2001
From: Ansgar Burchardt <ansgar@debian.org>
Date: Thu, 12 Jan 2023 15:39:41 +0000
Subject: [PATCH] skip directories starting with a dot when looking for
 dune.module

Gbp-Pq: Name skip-dirs-starting-with-dot.patch
---
 lib/dunemodules.lib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/dunemodules.lib b/lib/dunemodules.lib
index a677bc2..4d6593b 100644
--- a/lib/dunemodules.lib
+++ b/lib/dunemodules.lib
@@ -274,7 +274,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"
-- 
2.30.2