diff options
| author | Robert Norton | 2017-04-25 21:04:41 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-04-25 21:04:41 +0100 |
| commit | f5e585ab875399a926d02706cc9208539860f7b8 (patch) | |
| tree | 9019db574ef9e3850d93cb2de0a8d14bbf62e8c0 /src/initial_check.mli | |
| parent | 169d1275885549f1083d9647b0e2877c77b55434 (diff) | |
extend the try around call to select to avoid gprof crashing with EINTR.
Diffstat (limited to 'src/initial_check.mli')
0 files changed, 0 insertions, 0 deletions