diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-03-17 22:22:44 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-03-22 15:19:27 +0000 |
commit | eab588a83905122af678182876c2f800e4b6fa77 (patch) | |
tree | 56ffb61f5da7d717869c21794441d499cd43c505 /infra | |
parent | 379f4be6fc6ce15641bd7412dce3e71ca11ece00 (diff) |
dgit: Introduce "deliberatelies"
No underlying recipient of this info yet - just plumbing.
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"; } |