diff options
Diffstat (limited to 'Tools')
| -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:" |