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}" \