summaryrefslogtreecommitdiff
path: root/infra/dgit-repos-server
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2015-03-17 21:52:36 +0000
committerIan Jackson <ijackson@chiark.greenend.org.uk>2015-03-22 15:18:52 +0000
commit26ce53b790d76b41fe893d279e9ceb37bb81a3fe (patch)
treeb40146763182ebc3733aad25ac601cf00d11625d /infra/dgit-repos-server
parent1f0e14f2af07576c71e674a946b84f60f594e653 (diff)
infra: Pass distro to dgit-repos-server
Diffstat (limited to 'infra/dgit-repos-server')
-rwxr-xr-xinfra/dgit-repos-server4
1 files changed, 3 insertions, 1 deletions
diff --git a/infra/dgit-repos-server b/infra/dgit-repos-server
index c70bc27..a2916d6 100755
--- a/infra/dgit-repos-server
+++ b/infra/dgit-repos-server
@@ -2,7 +2,7 @@
# dgit-repos-server
#
# usages:
-# .../dgit-repos-server SUITES KEYRING-AUTH-SPEC DGIT-REPOS-DIR --ssh
+# .../dgit-repos-server DISTRO SUITES KEYRING-AUTH-SPEC DGIT-REPOS-DIR --ssh
# internal usage:
# .../dgit-repos-server --pre-receive-hook PACKAGE
#
@@ -549,6 +549,7 @@ sub parseargsdispatch () {
shift @ARGV;
@ARGV == 1 or die;
$package = shift @ARGV;
+ defined($distro = $ENV{'DGIT_DRS_DISTRO'}) or die;
defined($suitesfile = $ENV{'DGIT_DRS_SUITES'}) or die;
defined($workrepo = $ENV{'DGIT_DRS_WORK'}) or die;
defined($destrepo = $ENV{'DGIT_DRS_DEST'}) or die;
@@ -564,6 +565,7 @@ sub parseargsdispatch () {
exit 0;
}
+ $ENV{'DGIT_DRS_DISTRO'} = argval();
$ENV{'DGIT_DRS_SUITES'} = argval();
$ENV{'DGIT_DRS_KEYRINGS'} = argval();
$dgitrepos = argval();