projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 3ed37c7 f2bfbda)
Merge pull request #897 from tzik/pending
authorNico Weber <nicolasweber@gmx.de>
Sat, 24 Jan 2015 06:18:34 +0000 (22:18 -0800)
committerNico Weber <nicolasweber@gmx.de>
Sat, 24 Jan 2015 06:18:34 +0000 (22:18 -0800)
Check pending SIGINT after ppoll/pselect


Trivial merge
Domain: System / Base;