diff options
author | Vasil Dimov <vd@FreeBSD.org> | 2006-09-14 09:13:39 +0000 |
---|---|---|
committer | Vasil Dimov <vd@FreeBSD.org> | 2006-09-14 09:13:39 +0000 |
commit | 800d19da749253695664ae1ed44e6be94286a1f6 (patch) | |
tree | 503f2b05248580a0a1bd01af1a63faf623ab53d1 /Tools | |
parent | f8c3647c3dc3c6147c5d7ad1af576c06a167c172 (diff) | |
download | ports-800d19da749253695664ae1ed44e6be94286a1f6.tar.gz ports-800d19da749253695664ae1ed44e6be94286a1f6.zip |
Notes
Diffstat (limited to 'Tools')
-rwxr-xr-x | Tools/scripts/rmport | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/Tools/scripts/rmport b/Tools/scripts/rmport index 5a67a925a23c..10723c1a4a76 100755 --- a/Tools/scripts/rmport +++ b/Tools/scripts/rmport @@ -143,13 +143,13 @@ check_dep() err=1 fi - # 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 -H ${portdir_grep} \ + # check if some Makefiles mention the port to be deleted + portdir_grep="^[^#].*/`basename ${catport}`([[:space:]]+|$)" + r="`find ${PORTSDIR} -mindepth 2 -maxdepth 3 \( -name "Makefile*" -or -path "*Mk/*.mk" \) \ + |xargs grep -EH "${portdir_grep}" \ |grep -vE "^(${rmcatports})" || :`" if [ -n "${r}" ] ; then - log "${catport}: some ports mention ${portdir_grep} in their Makefiles:" + log "${catport}: some Makefiles mention ${portdir_grep}:" printf "%s\n" "${r}" >&2 err=1 fi |