diff options
-rwxr-xr-x | Tools/scripts/rmport | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Tools/scripts/rmport b/Tools/scripts/rmport index 61738ab8aa57..07205bcffb34 100755 --- a/Tools/scripts/rmport +++ b/Tools/scripts/rmport @@ -121,8 +121,9 @@ find_expired() EXPVAR=EXPIRATION_DATE find -H ${PORTSDIR} -mindepth 3 -maxdepth 3 -name "Makefile*" \ - |xargs grep -H "^[^#]*${EXPVAR}" \ - |sed -E "s|${PORTSDIR}/?([^/]+/[^/]+)/Makefile:${EXPVAR}=[[:space:]]*([0-9-]{10})$|\2 \1|g" \ + |xargs grep -H "^[0-9a-zA-Z_]*${EXPVAR}" \ + |grep -v '^#' \ + |sed -E "s|${PORTSDIR}/?([^/]+/[^/]+)/Makefile[^:]*:${EXPVAR}=[[:space:]]*([0-9-]{10})$|\2 \1|g" \ |perl -ne "if ((substr(\$_, 0, 10) cmp '${TODAY}') <= 0) { print(\$_); }" \ |while read expdate catport ; do \ echo -n "${expdate} ${catport}: " ; \ |