diff options
Diffstat (limited to 'devel/openocd-devel/files/patch-src_server_server.c')
| -rw-r--r-- | devel/openocd-devel/files/patch-src_server_server.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/devel/openocd-devel/files/patch-src_server_server.c b/devel/openocd-devel/files/patch-src_server_server.c new file mode 100644 index 000000000000..8ef702968f2e --- /dev/null +++ b/devel/openocd-devel/files/patch-src_server_server.c @@ -0,0 +1,11 @@ +--- src/server/server.c.orig 2025-09-13 12:06:50 UTC ++++ src/server/server.c +@@ -604,7 +604,7 @@ static void sig_handler(int sig) + /* store only first signal that hits us */ + if (shutdown_openocd == CONTINUE_MAIN_LOOP) { + shutdown_openocd = SHUTDOWN_WITH_SIGNAL_CODE; +- assert(sig >= SIG_ATOMIC_MIN && sig <= SIG_ATOMIC_MAX); ++ //assert(sig >= SIG_ATOMIC_MIN && sig <= SIG_ATOMIC_MAX); + last_signal = sig; + LOG_DEBUG("Terminating on Signal %d", sig); + } else |