Package: dune-common / 2.6.0-3

skip-dirs-starting-with-dot.patch Patch series | download
1
2
3
4
5
6
7
8
9
10
11
12
13
From: Ansgar Burchardt <ansgar@debian.org>
Subject: skip directories starting with a dot when looking for dune.module
--- a/lib/dunemodules.lib
+++ b/lib/dunemodules.lib
@@ -250,7 +250,7 @@
         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"