diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-08-21 16:39:17 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-08-21 17:28:08 +0100 |
commit | f18eae634f175b488386abca5cf80237e4418fce (patch) | |
tree | 2d25759d6255165ef6763a0c347e3212c9d05fe2 /dgit | |
parent | 721b7c76a51ab6861368a0dcf0a5a1fd5b514a72 (diff) |
Reject debian/source/local-patch-header
Diffstat (limited to 'dgit')
-rwxr-xr-x | dgit | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -1762,8 +1762,10 @@ sub check_not_dirty () { failedcmd @cmd; } - if (stat_exists "debian/source/local-options") { - fail "git tree contains debian/source/local-options"; + foreach my $f (qw(local-options local-patch-header)) { + if (stat_exists "debian/source/$f") { + fail "git tree contains debian/source/$f"; + } } } |