diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-05-31 20:13:46 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-06-28 12:45:38 +0100 |
commit | a05f4fe4748721c6bf0afc68a20eb3fd007150c5 (patch) | |
tree | 33e3060bc50bfc47fe379bdbd78f0cb09d5f44e7 /dgit | |
parent | 800ae855f1f25c152cdd9d18a8e632f3e56a316f (diff) |
dgit: split brain reorg: Check quilt cache iff $do_split_brain (1)
When $do_split_brain becomes set when !quiltmode_splitbrain(), we want
to check the cache even in the non split brain case.
Change in dopush, where we check the cache.
No functional change.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'dgit')
-rwxr-xr-x | dgit | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -4517,6 +4517,8 @@ END # user might have not used dgit build, so maybe do this now: if (quiltmode_splitbrain()) { $do_split_brain = 1; + } + if ($do_split_brain) { changedir $playground; my $cachekey; ($dgithead, $cachekey) = |