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/edit_distance.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/edit_distance.cc')
0 files changed, 0 insertions, 0 deletions