diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-05-17 14:15:34 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-05-31 11:54:14 +0100 |
commit | eb3b3a8f4be0903cd73193e563c7b56ad48bf54e (patch) | |
tree | ef618b5621aab4220caf5bdcc49d09e28b1e0d97 /infra | |
parent | b8f0c2299145e606204825a5d5081461251195c6 (diff) |
Check for deliberatelies correctly (in-memory data structures have full name)
Diffstat (limited to 'infra')
-rwxr-xr-x | infra/dgit-repos-policy-debian | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/infra/dgit-repos-policy-debian b/infra/dgit-repos-policy-debian index 06ad002..387fa54 100755 --- a/infra/dgit-repos-policy-debian +++ b/infra/dgit-repos-policy-debian @@ -250,7 +250,7 @@ sub getpushinfo () { } } -sub deliberately ($) { return $deliberately{$_[0]}; } +sub deliberately ($) { return $deliberately{"--deliberately-$_[0]"}; } sub action_push () { getpackage(); |