Merge branch 'set_terminate' of git://github.com/gmoudry/ninja into minidump
authorEvan Martin <martine@danga.com>
Fri, 27 Jul 2012 18:44:06 +0000 (11:44 -0700)
committerEvan Martin <martine@danga.com>
Fri, 27 Jul 2012 18:44:06 +0000 (11:44 -0700)
commit9dd3f0dfdf42cc9eefc10664d747044f50a0ffd8
tree45479fe2fd7b29023dc375c1fe6db0bdacd3265f
parentf7a22e3bc97fdeb87d930b7734680c481c6010bf
parent28c53397ed6876363a93e5a0ac3cd54ed66b662f
Merge branch 'set_terminate' of git://github.com/gmoudry/ninja into minidump

(This likely doesn't compile, just getting all the history in place.)

Conflicts:
src/util.cc
src/ninja.cc
src/util.cc
src/util.h