diff options
author | Rene Ladan <rene@FreeBSD.org> | 2023-02-19 20:37:46 +0100 |
---|---|---|
committer | Rene Ladan <rene@FreeBSD.org> | 2023-02-19 20:42:20 +0100 |
commit | f08b42fbd9c849b7dcde7a9c23ed4a5025e1b6b9 (patch) | |
tree | 6f4b4125f9a1f161f62118582b141348efbb9f38 /Tools | |
parent | audio/yoshimi: Fix bug when yoshimi asserted because it defaulted to ALSA (diff) |
Tools/scripts: use a port-specific commit message if removing a single port.
This helps in `git shortlog`, replacing "cleanup: Remove expired ports" by
"category/port: Remove expired port" for a given category and port.
Reported by: gerald
Diffstat (limited to 'Tools')
-rwxr-xr-x | Tools/scripts/rmport | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/Tools/scripts/rmport b/Tools/scripts/rmport index 30d8e219441d..dd1251f54a78 100755 --- a/Tools/scripts/rmport +++ b/Tools/scripts/rmport @@ -410,7 +410,16 @@ fi gitlog=$(mktemp -t gitlog) gitrmlist=$(mktemp -t gitrmlist) -echo "cleanup: Remove expired ports:" > ${gitlog} +if [ $# -eq 1 ] ; then + topic="$1" + plural="" +else + log "/!\\ Removing multiple ports at once, commit topic will generic /!\\" + topic="cleanup" + plural="s" +fi + +echo "${topic}: Remove expired port${plural}:" > ${gitlog} echo "" >> ${gitlog} for catport in $* ; do |