summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2016-09-05 22:39:43 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2016-09-11 18:56:03 +0100
commitd47fb5aa53e92957244c8045f64b450214340c89 (patch)
tree7d1067d9d15284ddf0b9adfce16a2dde9116232f
parentd655b298e3ac4ecba08885ab8c96cdbafc83c155 (diff)
dgit: Make maybe_unapply_patches_again reset $patches_applied_dirtily
That makes it idempotent. Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
-rwxr-xr-xdgit1
1 files changed, 1 insertions, 0 deletions
diff --git a/dgit b/dgit
index c105aea..7ccaec4 100755
--- a/dgit
+++ b/dgit
@@ -3884,6 +3884,7 @@ sub maybe_unapply_patches_again () {
if $patches_applied_dirtily & 01;
rmtree '.pc'
if $patches_applied_dirtily & 02;
+ $patches_applied_dirtily = 0;
}
#----- other building -----