diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-22 14:35:55 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-06-22 14:35:55 +0200 |
| commit | 6109a2d4ff181f3ac8821bdc1ca6a7fd13b68ec9 (patch) | |
| tree | 4ebb333a3dfd6d29d55c03cf0445a43ab3f3e101 /bin | |
| parent | c47b7b71893edb7528b0e94da476e790b338a440 (diff) | |
| download | builder-6109a2d4ff181f3ac8821bdc1ca6a7fd13b68ec9.tar.xz | |
bin/interpret-mail: document "delete:"
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/interpret-mail | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/interpret-mail b/bin/interpret-mail index 9c9c7dc..6f9a9ce 100755 --- a/bin/interpret-mail +++ b/bin/interpret-mail @@ -25,6 +25,9 @@ if [ $# -ne 0 ]; then >&2 echo ' - "copy-to-build-support: <arch> <pkgname>":' >&2 echo ' Copy the given binary package into [build-support].' >&2 echo '' + >&2 echo ' - "delete:"' + >&2 echo ' Delete all scheduled, safely deletable packages.' + >&2 echo '' >&2 echo ' - "prioritize: <pkgbase-regex>":' >&2 echo ' Increase the priority of matching build assignments.' >&2 echo '' |