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 2a96de034335..dc821b083bfa 100755 --- a/Tools/scripts/rmport +++ b/Tools/scripts/rmport @@ -410,7 +410,7 @@ fi gitlog=$(mktemp -t gitlog) gitrmlist=$(mktemp -t gitrmlist) -echo "*/*: Remove expired ports:" > ${gitlog} +echo "cleanup: Remove expired ports:" > ${gitlog} echo "" >> ${gitlog} for catport in $* ; do |