[dune-common] 07/13: skip directories starting with a dot when looking for dune.module

[Ansgar Burchardt]

This is an automated email from the git hooks/post-receive script.

ansgar pushed a commit to branch master
in repository dune-common.

commit b06f0844c177505dd236ed4abbae266462f7d5bc
Author: Ansgar Burchardt <ansgar at debian.org>
Date:   Fri Dec 27 19:57:58 2013 +0100

    skip directories starting with a dot when looking for dune.module
---
 debian/patches/series                            |  1 +
 debian/patches/skip-dirs-starting-with-dot.patch | 13 +++++++++++++
 2 files changed, 14 insertions(+)

diff --git a/debian/patches/series b/debian/patches/series
index 1b872d1..ace4780 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -2,3 +2,4 @@ soname.patch
 dune-autogen.patch
 aclocal.patch
 svn-version.patch
+skip-dirs-starting-with-dot.patch
diff --git a/debian/patches/skip-dirs-starting-with-dot.patch b/debian/patches/skip-dirs-starting-with-dot.patch
new file mode 100644
index 0000000..0b6c8f1
--- /dev/null
+++ b/debian/patches/skip-dirs-starting-with-dot.patch
@@ -0,0 +1,13 @@
+From: Ansgar Burchardt <ansgar at debian.org>
+Subject: skip directories starting with a dot when looking for dune.module
+--- a/lib/dunemodules.lib
++++ b/lib/dunemodules.lib
+@@ -211,7 +211,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"

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/dune-common.git