diff options
| -rwxr-xr-x | Tools/scripts/rmport | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/scripts/rmport b/Tools/scripts/rmport index cfb3238e5bb3..016bc59c902b 100755 --- a/Tools/scripts/rmport +++ b/Tools/scripts/rmport @@ -434,7 +434,7 @@ fi gitlog=$(mktemp -t gitlog) gitrmlist=$(mktemp -t gitrmlist) -echo "Remove expired ports:" > ${gitlog} +echo "*/*: Remove expired ports:" > ${gitlog} echo "" >> ${gitlog} for catport in $* ; do |