diff --git a/bin/dunemodules.inc b/bin/dunemodules.inc index f2d3cfe086fe4ba6709d9d8193b3b0e312cab2a5..3f40cc7b51062464232a34fefc82ae58956d1718 100644 --- a/bin/dunemodules.inc +++ b/bin/dunemodules.inc @@ -83,7 +83,7 @@ find_modules() { export MODULES="$MODULES $module" fi done <<EOF - $(find "$dir" -name $CONTROL | grep -v 'dune\-[-a-zA-Z_]*\-[0-9]\+.[0-9]\+/') + $(find "$dir" -name $CONTROL | grep -v 'dune-[-_a-zA-Z]/dune\-[-a-zA-Z_]*\-[0-9]\+.[0-9]\+/') EOF else if test -f "$1" &&