Skip to content
Snippets Groups Projects
Commit 0a268c0e authored by Markus Blatt's avatar Markus Blatt
Browse files

Ignore directories left over from a make dist.

[[Imported from SVN: r4690]]
parent 863d3fc8
No related branches found
No related tags found
No related merge requests found
......@@ -83,7 +83,7 @@ find_modules() {
export MODULES="$MODULES $module"
fi
done <<EOF
$(find "$dir" -name $CONTROL )
$(find "$dir" -name $CONTROL | grep -v 'dune\-[-a-zA-Z_]*\-[0-9]\+.[0-9]\+/')
EOF
else
if test -f "$1" &&
......
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