diff options
| -rwxr-xr-x | infra/dgit-repos-server | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/infra/dgit-repos-server b/infra/dgit-repos-server index c090f7d..6a98efb 100755 --- a/infra/dgit-repos-server +++ b/infra/dgit-repos-server @@ -1196,7 +1196,8 @@ END open STDOUT, ">&STDERR" or die $!; open DEBUG, ">&STDERR" if $debuglevel; - die "$tagmversion != $version " unless $tagmversion eq $version; + reject "version mismatch $tagmversion != $version " + unless $tagmversion eq $version; my %need = map { $_ => 1 } qw(please-upload split); my ($upstreamc, $upstreamt); |