diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-07-26 11:16:54 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-07-26 13:00:47 +0100 |
commit | 52eeb586a25be5734ab9e53059f41f5a6e08690c (patch) | |
tree | 906687a2e167221e8dcdd39c6048f531c37722d9 /dgit | |
parent | dbee6afd429a8cf4136a040d95ea10fe3a38520e (diff) |
dgit: push_source no longer cleans the tree.
This is no longer needed because we always build in a playtree.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'dgit')
-rwxr-xr-x | dgit | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -4762,7 +4762,6 @@ sub cmd_push_source { prep_push(); fail "dgit push-source: --include-dirty/--ignore-dirty does not make". "sense with push-source!" if $includedirty; - clean_tree(); build_maybe_quilt_fixup(); if ($changesfile) { my $changes = parsecontrol("$buildproductsdir/$changesfile", |