summaryrefslogtreecommitdiff
path: root/dgit
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2018-10-11 01:30:55 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2018-10-11 01:30:55 +0100
commit86b1bd2035ce1da863c682223893b59ed74962f9 (patch)
tree9c64f62f4610a5eb61f0d63914ab822119239696 /dgit
parent52174c9a5976b18dc3d2ff020a962a84db35019c (diff)
dgit: Factor out debian/source/.. in check_not_dirty
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'dgit')
-rwxr-xr-xdgit5
1 files changed, 3 insertions, 2 deletions
diff --git a/dgit b/dgit
index 5754e45..8df8f76 100755
--- a/dgit
+++ b/dgit
@@ -3818,9 +3818,10 @@ sub pull () {
sub check_not_dirty () {
my @forbid = qw(local-options local-patch-header);
+ @forbid = map { "debian/source/$_" } @forbid;
foreach my $f (@forbid) {
- if (stat_exists "debian/source/$f") {
- fail f_ "git tree contains debian/source/%s", $f;
+ if (stat_exists $f) {
+ fail f_ "git tree contains %s", $f;
}
}