Skip to content
Snippets Groups Projects
Commit b6b3e7d6 authored by Simon Praetorius's avatar Simon Praetorius
Browse files

Ignore .git directory in dunecmodules.lib script

parent 0432a98d
No related branches found
No related tags found
1 merge request!1184dunemodules.lib: skip directories starting with dot when looking for modules
......@@ -274,7 +274,7 @@ find_modules_in_path() {
while read m; do
test -n "$m" && parse_control "$m"
done <<EOFM
$(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,\}/')
$(find -H "$dir" -type d -name .git -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"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment