diff options
| author | John Högberg <[email protected]> | 2018-07-03 13:16:33 +0200 |
|---|---|---|
| committer | John Högberg <[email protected]> | 2018-07-03 14:33:41 +0200 |
| commit | 095c832e1d644c85e452527ffae43dce34b5075e (patch) | |
| tree | b089d177be43f8c75c1b9610c8fecebb36aa0217 /make/cross_check_erl | |
| parent | a09907d56e29b24ded9a34de82bceac7f39021d1 (diff) | |
| download | otp-095c832e1d644c85e452527ffae43dce34b5075e.tar.gz otp-095c832e1d644c85e452527ffae43dce34b5075e.tar.bz2 otp-095c832e1d644c85e452527ffae43dce34b5075e.zip | |
Use fallback pollset for stdin and friends when using kqueue
This is a hack to make the "noshell" option work; kqueue can poll
these fds but will not report EV_EOF. This may be common to all
all pipes but we have no way to tell whether an fd is a pipe or
not.
Diffstat (limited to 'make/cross_check_erl')
0 files changed, 0 insertions, 0 deletions