summaryrefslogtreecommitdiff
path: root/dgit
diff options
context:
space:
mode:
authorSean Whitton <spwhitton@spwhitton.name>2018-07-25 19:36:52 +0800
committerIan Jackson <ijackson@chiark.greenend.org.uk>2018-07-26 10:23:53 +0100
commit340a659359f6e9537513355fcbd7309c4d45a10d (patch)
tree304b2212607e02dc9c9911fc9329ea75e3d8e69b /dgit
parent07437a3fe514da7990300b2fd594adff49685de5 (diff)
dgit: build_source_for_push does not try to unapply patches
build_source_for_push should now always build in a worktree, so patches should never be applied dirtily to $maindir. Die if it turns out they were. Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
Diffstat (limited to 'dgit')
-rwxr-xr-xdgit3
1 files changed, 2 insertions, 1 deletions
diff --git a/dgit b/dgit
index 517f50a..b3c95c7 100755
--- a/dgit
+++ b/dgit
@@ -6411,7 +6411,8 @@ sub cmd_git_build { cmd_gbp_build(); } # compatibility with <= 1.0
sub build_source_for_push {
build_source();
- maybe_unapply_patches_again();
+ die "er, patches are applied dirtily but shouldn't be.."
+ if $patches_applied_dirtily;
$changesfile = $sourcechanges;
}