chiark / gitweb /
DESIGN: mention need for restarting base updates in case of new deps
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 30 Jan 2012 23:30:37 +0000 (23:30 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 30 Jan 2012 23:30:37 +0000 (23:30 +0000)
DESIGN

diff --git a/DESIGN b/DESIGN
index 57f3191..f3c3f82 100644 (file)
--- 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