projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: b2b8f3a 9fff955)
Merge pull request #743 from nicolasdespres/sigterm
authorNico Weber <nicolasweber@gmx.de>
Mon, 27 Apr 2015 23:42:39 +0000 (16:42 -0700)
committerNico Weber <nicolasweber@gmx.de>
Mon, 27 Apr 2015 23:42:39 +0000 (16:42 -0700)
Handle SIGTERM properly.


Trivial merge
Domain: System / Base;