diff --git a/src/server/server.c b/src/server/server.c index 62c2ce821..a48c0dba9 100644 --- a/src/server/server.c +++ b/src/server/server.c @@ -613,7 +613,6 @@ 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); last_signal = sig; LOG_DEBUG("Terminating on Signal %d", sig); } else