chiark / gitweb /
DESIGN: mention need for restarting base updates in case of new deps
[topbloke.git] / DESIGN
diff --git a/DESIGN b/DESIGN
index 57f3191e23f1282d5b76fc75dd9084128071a52a..f3c3f828720c5f47c5a4646463950202ba99b009 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