projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 2eb1cc9 9568764)
Merge pull request #1069 from nicolasdespres/dry_manifest_regen
authorEvan Martin <martine@danga.com>
Wed, 9 Dec 2015 22:48:14 +0000 (14:48 -0800)
committerEvan Martin <martine@danga.com>
Wed, 9 Dec 2015 22:48:14 +0000 (14:48 -0800)
Do not attempt to rebuild infinitely in dry-run mode.


Trivial merge
Domain: System / Base;