summaryrefslogtreecommitdiff
path: root/dgit
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2018-07-26 11:16:54 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2018-07-26 13:00:47 +0100
commit52eeb586a25be5734ab9e53059f41f5a6e08690c (patch)
tree906687a2e167221e8dcdd39c6048f531c37722d9 /dgit
parentdbee6afd429a8cf4136a040d95ea10fe3a38520e (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-xdgit1
1 files changed, 0 insertions, 1 deletions
diff --git a/dgit b/dgit
index 36afdaf..9384f64 100755
--- a/dgit
+++ b/dgit
@@ -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",