diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-03-17 21:52:36 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-03-22 15:18:52 +0000 |
commit | 26ce53b790d76b41fe893d279e9ceb37bb81a3fe (patch) | |
tree | b40146763182ebc3733aad25ac601cf00d11625d /infra/dgit-repos-server | |
parent | 1f0e14f2af07576c71e674a946b84f60f594e653 (diff) |
infra: Pass distro to dgit-repos-server
Diffstat (limited to 'infra/dgit-repos-server')
-rwxr-xr-x | infra/dgit-repos-server | 4 |
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(); |