diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2016-09-05 22:39:43 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2016-09-11 18:56:03 +0100 |
commit | d47fb5aa53e92957244c8045f64b450214340c89 (patch) | |
tree | 7d1067d9d15284ddf0b9adfce16a2dde9116232f | |
parent | d655b298e3ac4ecba08885ab8c96cdbafc83c155 (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-x | dgit | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 ----- |