diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2017-08-09T14·22+0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2017-08-09T14·22+0200 |
| commit | af765a8eab288eb638100e027b97a1d15e4e3026 (patch) | |
| tree | 0ab17da6aae1af4c83efef428deae6d0b534aa93 /Makefile.config.in | |
| parent | c6184dec6c208d39a329586d0503b7a51bc2ded1 (diff) | |
Use /proc/self/fd to efficiently close all FDs on Linux
Issue #1506.
Diffstat (limited to 'Makefile.config.in')
0 files changed, 0 insertions, 0 deletions