diff options
| author | Jakob Unterwurzacher | 2020-07-29 20:35:59 +0200 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2020-07-29 20:35:59 +0200 |
| commit | 8afbbc86d170c49bbbdd801f43cd77774bcde13e (patch) | |
| tree | 8795832cf9bd705635b553e5fe140f1851e4f8cc /profiling/write-trace.bash | |
| parent | 507345929617876f306b20eb541c9126945fba2c (diff) | |
getdents_c: continue on EINTR from open
Getting EINTR here is acceptable.
Diffstat (limited to 'profiling/write-trace.bash')
0 files changed, 0 insertions, 0 deletions