diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2023-01-12 23:36:23 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2023-01-12 23:36:23 +0100 |
| commit | 27abb1cc73606741e7f54133f789d86fcff10dcb (patch) | |
| tree | 441e165257c36834759b63eaa41cbd3fab219362 /src/Util.hs | |
| parent | 20a18716e494d7d83d498cfc4bfd96fa11d6b8ce (diff) | |
GDB: use non-stop mode
Avoids issues caused by stopping already running inferiors when
attaching new one.
Diffstat (limited to 'src/Util.hs')
0 files changed, 0 insertions, 0 deletions