diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-05-02 16:52:09 +0100 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-05-31 11:54:07 +0100 |
| commit | a7300206ae2e77d77f722e616123ddfc6dc02298 (patch) | |
| tree | 7074bc63789e8312c81013e2b57590badac2ed56 /infra/dgit-repos-policy-debian | |
| parent | 85967df816321c56d70cbfda75994285975347d1 (diff) | |
Policy hook protocol: pass dgit live directory (nfc)
Diffstat (limited to 'infra/dgit-repos-policy-debian')
| -rwxr-xr-x | infra/dgit-repos-policy-debian | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/infra/dgit-repos-policy-debian b/infra/dgit-repos-policy-debian index 88eb4fc..0c7d888 100755 --- a/infra/dgit-repos-policy-debian +++ b/infra/dgit-repos-policy-debian @@ -15,6 +15,7 @@ use Debian::Dgit::Policy::Debian; our $distro = shift @ARGV // die "need DISTRO"; our $repos = shift @ARGV // die "need DGIT-REPOS-DIR"; +our $dgitlive = shift @ARGV // die "need DGIT-LIVE-DIR"; our $action = shift @ARGV // die "need ACTION"; our $publicmode = 02775; |