diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-05-11 09:35:16 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-05-31 11:54:11 +0100 |
commit | ac3fd2f34f0e3c9555afcd8fc71b90f04b27e658 (patch) | |
tree | 6d3f9226790c4bfe40c6685bf69d08bfe98b541f /infra/dgit-repos-policy-debian | |
parent | 4950272cbef1b98c9d0e5e7b362c636473d071ee (diff) |
Infra: pass $distrodir to policy hook (as yet unused, intended for config)
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 7d12b6e..1e32d39 100755 --- a/infra/dgit-repos-policy-debian +++ b/infra/dgit-repos-policy-debian @@ -20,6 +20,7 @@ enabledebuglevel $ENV{'DGIT_DRS_DEBUG'}; 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 $distrodir = shift @ARGV // die "need DISTRO-DIR"; our $action = shift @ARGV // die "need ACTION"; our $publicmode = 02775; |