diff --git a/src/end.c b/src/end.c index c42600401..d8637c585 100644 --- a/src/end.c +++ b/src/end.c @@ -556,6 +556,7 @@ done1(int sig_unused UNUSED) #ifndef NO_SIGNAL (void) signal(SIGINT, SIG_IGN); #endif + iflags.debug_fuzzer = FALSE; if (flags.ignintr) { #ifndef NO_SIGNAL (void) signal(SIGINT, (SIG_RET_TYPE) done1);