From affecc3c0690bec4efb3a6a629b4ac4b98286f50 Mon Sep 17 00:00:00 2001 From: Rene Ladan Date: Mon, 26 Mar 2018 16:55:52 +0000 Subject: [PATCH] Detect flavored dependencies in Tools/scripts/rmport and add myself to the copyright. --- Tools/scripts/rmport | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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}" \