From 8efe447dc458f5f53dee8c26a1b34bfdfe14da19 Mon Sep 17 00:00:00 2001 From: Ansgar Burchardt Date: Sat, 19 Mar 2022 12:10:34 +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 548317f..04f23ac 100644 --- a/lib/dunemodules.lib +++ b/lib/dunemodules.lib @@ -258,7 +258,7 @@ find_modules_in_path() { while read m; do test -n "$m" && parse_control "$m" done <