diff options
author | Karl Berry <karl@freefriends.org> | 2020-08-28 20:54:09 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-08-28 20:54:09 +0000 |
commit | fe1debbd60349a10e446fc4b039edd0d851cb552 (patch) | |
tree | 8db66d999fc051ff4c11145ba952326556c63cc6 /Master | |
parent | 55137b192a5c61251a90cdc55ac41554d75b3967 (diff) |
ignore EOF when EINTR, but not otherwise
git-svn-id: svn://tug.org/texlive/trunk@56202 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
0 files changed, 0 insertions, 0 deletions