From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 30 Jan 2012 23:30:37 +0000 (+0000)
Subject: DESIGN: mention need for restarting base updates in case of new deps
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;ds=inline;h=47d533722a17175a58abd30d35f4aa36f8e2e3bd;p=topbloke.git

DESIGN: mention need for restarting base updates in case of new deps
---

diff --git a/DESIGN b/DESIGN
index 57f3191..f3c3f82 100644
--- a/DESIGN
+++ b/DESIGN
@@ -62,6 +62,10 @@ Basic update algorithm:
        from the source.
 
     iii.
+       Check whether our list of dependencies has changed.  If so
+       we need to restart the whole base update.
+
+    iv.
        Check for missing or unwanted dependency inclusions.  Compare
        our base's desired included deps with our base's actual
        included deps.  In exceptional conditions, they will not