# HG changeset patch
# User Jan Nieuwenhuizen <janneke@gnu.org>
# Date 1250798981 -7200
# Node ID bfb2318d2553c005ca79b5eaff46da04f88bdeea
# Parent  f53a7c60a217fa79bc3a5bffda9cc9a8488e8fd1
Resurrect checksum sanity check.

diff -r f53a7c60a217 -r bfb2318d2553 gub/buildrunner.py
--- a/gub/buildrunner.py	Thu Aug 20 22:08:02 2009 +0200
+++ b/gub/buildrunner.py	Thu Aug 20 22:09:41 2009 +0200
@@ -248,7 +248,7 @@
             deferred_runner.execute_deferred_commands ()
             checksum_file = spec.expand ('%(checksum_file)s')
             if checksum_file:
-                if 0: #len (self.checksums[spec_name].split ('\n')) < 5:
+                if len (self.checksums[spec_name].split ('\n')) < 5 and not 'BOOTSTRAP' in os.environ.keys ():
                     # Sanity check.  This can't be right.  Do not
                     # overwrite precious [possibly correct] checksum.
                     raise Exception ('BROKEN CHECKSUM:' + self.checksums[spec_name])