diff options
| -rwxr-xr-x | infra/dgit-repos-server | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/infra/dgit-repos-server b/infra/dgit-repos-server index f391b08..9d6edb8 100755 --- a/infra/dgit-repos-server +++ b/infra/dgit-repos-server @@ -793,6 +793,7 @@ sub parseargsdispatch () { @ARGV == 1 or die; $package = shift @ARGV; defined($distro = $ENV{'DGIT_DRS_DISTRO'}) or die; + defined($dgitrepos = $ENV{'DGIT_DRS_REPOS'}) 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; @@ -812,7 +813,7 @@ sub parseargsdispatch () { $ENV{'DGIT_DRS_DISTRO'} = $distro = argval(); $ENV{'DGIT_DRS_SUITES'} = argval(); $ENV{'DGIT_DRS_KEYRINGS'} = argval(); - $dgitrepos = argval(); + $ENV{'DGIT_DRS_REPOS'} = $dgitrepos = argval(); $ENV{'DGIT_DRS_POLICYHOOK'} = $policyhook = argval(); die unless @ARGV==1 && $ARGV[0] eq '--ssh'; |