diff options
| author | rene <rene@FreeBSD.org> | 2018-03-27 00:55:52 +0800 |
|---|---|---|
| committer | rene <rene@FreeBSD.org> | 2018-03-27 00:55:52 +0800 |
| commit | cfed9182c6da1481db03fe91b5c78b5cf4535195 (patch) | |
| tree | bf58b8123d18ecbbbb33ce925b0b218639122fd3 /Tools | |
| parent | ae0dbe24b8abbb46b2ea0736f21a956b5814f1a9 (diff) | |
| download | freebsd-ports-gnome-cfed9182c6da1481db03fe91b5c78b5cf4535195.tar.gz freebsd-ports-gnome-cfed9182c6da1481db03fe91b5c78b5cf4535195.tar.zst freebsd-ports-gnome-cfed9182c6da1481db03fe91b5c78b5cf4535195.zip | |
Detect flavored dependencies in Tools/scripts/rmport and add myself to the copyright.
Diffstat (limited to 'Tools')
| -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}" \ |