diff options
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/scripts/notconnected | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/scripts/notconnected b/Tools/scripts/notconnected index 66bcae484190..12333c4eba70 100755 --- a/Tools/scripts/notconnected +++ b/Tools/scripts/notconnected @@ -15,7 +15,7 @@ echo "****************** No entry for dir in category Makefile" #### dir -> Makefile cd $PORTSDIR -ports=$(find $PORTSDIR -type d -depth 2 | egrep -v 'CVS|.git|Tools') +ports=$(find $PORTSDIR -type d -depth 2 | egrep -v '.svn|CVS|.git|Tools') for port in $ports; do cat=$(echo $port |awk -F'/' '{print $1}') portname=$(echo $port |awk -F'/' '{print $2}') |