| commit | a9791f1438a47bbb3a336e0fbdfff2e1d28a8da3 | [log] [tgz] |
|---|---|---|
| author | Tom de Vries <tdevries@suse.de> | Fri Nov 22 17:44:29 2024 +0100 |
| committer | Tom de Vries <tdevries@suse.de> | Fri Nov 22 17:44:29 2024 +0100 |
| tree | 76ac04426248d3a65bf89adef08bacb4c8a4272e | |
| parent | 658a03e9e85698fa8815915d1a858371ea51da83 [diff] |
[gdb] Use gdb::waitpid more often Use gdb::waitpid instead of plain waitpid, making sure that EINTR is handled. Tested on x86_64-linux.