diff options
Diffstat (limited to 'infra')
| -rwxr-xr-x | infra/dgit-repos-server | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/infra/dgit-repos-server b/infra/dgit-repos-server index 22e6ea7..56fc4fd 100755 --- a/infra/dgit-repos-server +++ b/infra/dgit-repos-server @@ -100,6 +100,8 @@ our $workrepo; our $keyrings; our @lockfhs; our $debug=''; +our @deliberatelies; +our $policy; #----- utilities ----- @@ -336,7 +338,9 @@ sub parsetag () { for (;;) { if (s/^distro\=(\S+) //) { die "$1 != $distro" unless $1 eq $distro; - } elsif (s/^[-+.=0-9a-z]+ //) { + } elsif (s/^(--deliberately-$package_re) //) { + push @deliberatelies, $1; + } elsif (s/^[-+.=0-9a-z]\S* //) { } else { die "unknown dgit info in tag"; } |