diff options
| author | Nico Weber <nicolasweber@gmx.de> | 2015-01-24 06:18:34 (GMT) |
|---|---|---|
| committer | Nico Weber <nicolasweber@gmx.de> | 2015-01-24 06:18:34 (GMT) |
| commit | 62458b6f19dd134d2a4a38ff81e368c8b7e5605d (patch) | |
| tree | 57641c121d380b720f38df52736dc21f77e6d584 /src/ninja.cc | |
| parent | 3ed37c7476b59d618bda86369479939358ab81bc (diff) | |
| parent | f2bfbda312ac92de3656ff3ae284a7ec82e59e74 (diff) | |
| download | Ninja-62458b6f19dd134d2a4a38ff81e368c8b7e5605d.zip Ninja-62458b6f19dd134d2a4a38ff81e368c8b7e5605d.tar.gz Ninja-62458b6f19dd134d2a4a38ff81e368c8b7e5605d.tar.bz2 | |
Merge pull request #897 from tzik/pending
Check pending SIGINT after ppoll/pselect
Diffstat (limited to 'src/ninja.cc')
0 files changed, 0 insertions, 0 deletions