projects
/
dune-common.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
6b298b9
)
skip directories starting with a dot when looking for dune.module
author
Ansgar Burchardt
<ansgar@debian.org>
Thu, 10 Oct 2024 14:59:54 +0000
(16:59 +0200)
committer
Markus Blatt
<markus@dr-blatt.de>
Thu, 10 Oct 2024 14:59:54 +0000
(16:59 +0200)
Gbp-Pq: Name skip-dirs-starting-with-dot.patch
lib/dunemodules.lib
patch
|
blob
|
history
diff --git
a/lib/dunemodules.lib
b/lib/dunemodules.lib
index a677bc202474a95c931c50ee93a72e14fde3ef9b..4d6593bb85823b1f3a705c88812fac0f267e6317 100644
(file)
--- 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"