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:
f0acaf3
)
skip directories starting with a dot when looking for dune.module
author
Ansgar Burchardt
<ansgar@debian.org>
Thu, 21 Oct 2021 16:29:30 +0000
(17:29 +0100)
committer
Patrick Jaap
<patrick.jaap@tu-dresden.de>
Thu, 21 Oct 2021 16:29:30 +0000
(17:29 +0100)
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 548317f9322cd7cafe17e625b3495b075aba9bf3..04f23ac41fbf56c2649d1151e048e84b62138349 100644
(file)
--- 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 <<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"