From 18860205ed2d85bdc8324e5d9b25d35a5ba8e098 Mon Sep 17 00:00:00 2001 From: Rene Ladan Date: Sat, 3 Jul 2021 19:56:00 +0200 Subject: rmport: use "cleanup" instead of "*/*" --- Tools/scripts/rmport | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- cgit v1.2.3