From 6e41413ecb11f129c0023d13e6c90025419d68c6 Mon Sep 17 00:00:00 2001 From: Ansgar Burchardt Date: Thu, 13 Jul 2023 07:20:17 +0100 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 <