summaryrefslogtreecommitdiff
path: root/dgit
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2015-08-21 16:39:17 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2015-08-21 17:28:08 +0100
commitf18eae634f175b488386abca5cf80237e4418fce (patch)
tree2d25759d6255165ef6763a0c347e3212c9d05fe2 /dgit
parent721b7c76a51ab6861368a0dcf0a5a1fd5b514a72 (diff)
Reject debian/source/local-patch-header
Diffstat (limited to 'dgit')
-rwxr-xr-xdgit6
1 files changed, 4 insertions, 2 deletions
diff --git a/dgit b/dgit
index f4e2abf..a49c766 100755
--- a/dgit
+++ b/dgit
@@ -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";
+ }
}
}