summaryrefslogtreecommitdiff
path: root/infra/dgit-repos-server
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2015-03-17 22:22:44 +0000
committerIan Jackson <ijackson@chiark.greenend.org.uk>2015-03-22 15:19:27 +0000
commiteab588a83905122af678182876c2f800e4b6fa77 (patch)
tree56ffb61f5da7d717869c21794441d499cd43c505 /infra/dgit-repos-server
parent379f4be6fc6ce15641bd7412dce3e71ca11ece00 (diff)
dgit: Introduce "deliberatelies"
No underlying recipient of this info yet - just plumbing.
Diffstat (limited to 'infra/dgit-repos-server')
-rwxr-xr-xinfra/dgit-repos-server6
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";
}