diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-06 18:23:24 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-07 11:18:17 +0100 |
commit | ca99f9273683e8e763e6113d34d755a6afe551d9 (patch) | |
tree | f44915e373304d5e27bf3a12c5c4bf1f738b6717 /infra/dgit-repos-server | |
parent | f50450ae5e1ee0b122570dd17f7839f46ecbee92 (diff) |
dgit-repos-server: tag2upload: Improve a message
Could be multiple distro=, in which case any matching is OK.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'infra/dgit-repos-server')
-rwxr-xr-x | infra/dgit-repos-server | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/infra/dgit-repos-server b/infra/dgit-repos-server index 811db69..82b2c43 100755 --- a/infra/dgit-repos-server +++ b/infra/dgit-repos-server @@ -1224,7 +1224,7 @@ END $distro_ok ||= $gotdistro eq $distro; }; - $quit->("other distro") unless $distro_ok; + $quit->("not for this distro") unless $distro_ok; reject "missing \"$_\"" foreach keys %need; |