simon-git: bob (master): Simon Tatham

[Commits to Tartarus CVS repository.]

TL;DR:
  e9dffb0 Make the build date cache optional, and default to off.

Repository:     git://git.tartarus.org/simon/bob.git
On the web:     http://tartarus.org/~simon-git/gitweb/?p=bob.git
Branch updated: master
Committer:      Simon Tatham <anakin at pobox.com>
Date:           2016-03-01 07:15:56

commit e9dffb0c924275dedf7a53c944571cbc2cc921e2
web diff http://tartarus.org/~simon-git/gitweb/?p=bob.git;a=commitdiff;h=e9dffb0c924275dedf7a53c944571cbc2cc921e2;hp=504a0c2bc816dd4aa0a78b3cc4850c9f07e15fd7
Author: Simon Tatham <anakin at pobox.com>
Date:   Tue Mar 1 07:10:27 2016 +0000

    Make the build date cache optional, and default to off.
    
    I've had mysterious bob-deliver mismatches recently, and it turns out
    that the reason why is because if I do a test build in my development
    source directory then it overwrites the central build date cache that
    my automated nightly builds pay attention to. And since my dev source
    directory uses _itself_ as the source git repository (as opposed to
    the real upstream repos that the nightlies clone from), the verdata
    always mismatches when this happens, so my local test build blows away
    the nightly build date cache that I wanted to keep.
    
    Of course, I only notice this if I did a local build which _doesn't_
    lead to making a commit that the next nightly build picks up. If I do
    make a commit, then that means the nightly build date has to be
    regenerated anyway and all is fine. That must be how I failed to
    notice for so long.
    
    Anyway: now the build date caching system is turned off by default,
    and you have to manually enable it with the --builddatecache option,
    which I will include in my nightly build scripts forthwith and omit in
    my local development runs of bob. That should solve the problem.

 bob      |    7 ++++++-
 bob.but  |   31 ++++++++++++++++++-----------
 lexer.py |   66 +++++++++++++++++++++++++++++++++++++-------------------------
 3 files changed, 66 insertions(+), 38 deletions(-)