changeset 5202:789ab00912d2

build.py: do not set 'download' stage. Fixes continued builds. build.py does not write any stages when they are skipped because they happen before the current 'status'; but it did write 'download'. Not writing 'download' is cheaper than writing all stages while they are skipped.
author Jan Nieuwenhuizen <janneke@gnu.org>
date Sun, 05 Apr 2009 21:48:10 +0200
parents 2cc8b937dba7
children 4b1a672ce9cf
files gub/build.py
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/gub/build.py	Sun Apr 05 21:45:30 2009 +0200
+++ b/gub/build.py	Sun Apr 05 21:48:10 2009 +0200
@@ -92,7 +92,7 @@
                     if stage == 'patch':
                         self.system ('rm %(stamp_file)s')
                 raise
-            if stage != 'clean':
+            if stage not in ['clean', 'download']:
                 self.set_done (stage)
 
 class AutoBuild (Build):