diff options
Diffstat (limited to 'Tools/scripts/rmport')
| -rwxr-xr-x | Tools/scripts/rmport | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Tools/scripts/rmport b/Tools/scripts/rmport index 8da23c47071d..236a386ee540 100755 --- a/Tools/scripts/rmport +++ b/Tools/scripts/rmport @@ -4,6 +4,7 @@ # # Copyright 2006-2007 Vasil Dimov # Copyright 2012-2012 Chris Rees +# Copyright 2016-2018 Rene Ladan # All rights reserved. # # Redistribution and use in source and binary forms, with or without @@ -163,7 +164,7 @@ check_dep_core() fi # check if some Makefiles mention the port to be deleted - portdir_grep="^[^#].*/`basename ${catport}`([[:space:]]|/|$)" + portdir_grep="^[^#].*/`basename ${catport}`([[:space:]]|@|/|$)" r="`find -H ${PORTSDIR} -mindepth 2 -maxdepth 3 \ \( -name "Makefile*" -or -path "*Mk/*.mk" \) \ |xargs grep -EH "${portdir_grep}" \ |