Update TODO.

[wizard.git] / README

diff --git a/README b/README
index d411e9d86353002d534573227c4b7011796bf9db..dc4b28a4e14db7aa86ac10c643da37c84d98d9cf 100644 (file)
--- a/README
+++ b/README
@@ -80,6 +80,10 @@ Design decisions
   if we continued going, we will keep going, and let the maintainer
   deal later on with the errors en masse.
 
+  If the error is due to an error in our toolchain (and thus
+  many installs can be fixed by fixing our end), we want to
+  be able to re-run the mass tool with minimal fuss.
+
 - We use the Google Python style guide.  See:
     http://code.google.com/p/soc/wiki/PythonStyleGuide
   However, we use 4-space indents, not 2-space indents.