diff options
| author | Vasil Dimov <vd@FreeBSD.org> | 2006-09-12 08:35:16 +0000 |
|---|---|---|
| committer | Vasil Dimov <vd@FreeBSD.org> | 2006-09-12 08:35:16 +0000 |
| commit | f5a601c10acb6a0a5a0e8346c695433d114a70a3 (patch) | |
| tree | 38bf4215af6472ba4783a2a3848bcc94d5d6c93c /Tools/scripts | |
| parent | 1eb6a3c54d697070826cc340c1172c52698a4e35 (diff) | |
Notes
Diffstat (limited to 'Tools/scripts')
| -rwxr-xr-x | Tools/scripts/rmport | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/scripts/rmport b/Tools/scripts/rmport index 588de7c64490..5a67a925a23c 100755 --- a/Tools/scripts/rmport +++ b/Tools/scripts/rmport @@ -146,7 +146,7 @@ check_dep() # check if some port mentions the port to be deleted portdir_grep="/`basename ${catport}`" r="`find ${PORTSDIR} -mindepth 3 -maxdepth 3 -name "Makefile*" \ - |xargs grep -Hw ${portdir_grep} \ + |xargs grep -H ${portdir_grep} \ |grep -vE "^(${rmcatports})" || :`" if [ -n "${r}" ] ; then log "${catport}: some ports mention ${portdir_grep} in their Makefiles:" |