diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2018-07-25 19:36:52 +0800 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-07-26 10:23:53 +0100 |
commit | 340a659359f6e9537513355fcbd7309c4d45a10d (patch) | |
tree | 304b2212607e02dc9c9911fc9329ea75e3d8e69b /dgit | |
parent | 07437a3fe514da7990300b2fd594adff49685de5 (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-x | dgit | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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; } |