mirror of
https://gitlab.com/d3tn/ud3tn.git
synced 2026-08-16 13:01:06 +02:00
This otherwise prevents efficient debugging with GDB as GDB does not get the signal anymore. See also: https://sourceware.org/bugzilla/show_bug.cgi?id=9425 Closes: #197 Signed-off-by: Felix Walter <felix.walter@d3tn.com> |
||
|---|---|---|
| .. | ||
| posix | ||