diff options
| -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 10723c1a4a76..3d1a19ffe7f3 100755 --- a/Tools/scripts/rmport +++ b/Tools/scripts/rmport @@ -144,7 +144,7 @@ check_dep() fi # check if some Makefiles mention the port to be deleted - portdir_grep="^[^#].*/`basename ${catport}`([[:space:]]+|$)" + 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})" || :`" |