projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 433b9d4 bcc8ad1)
Merge pull request #407 from maximuska/proposed/dirty-on-missing-depfile
authorEvan Martin <martine@danga.com>
Thu, 30 Aug 2012 18:26:55 +0000 (11:26 -0700)
committerEvan Martin <martine@danga.com>
Thu, 30 Aug 2012 18:26:55 +0000 (11:26 -0700)
safer build: consider target dirty if depfile is missing


Trivial merge
Domain: System / Base;