diff --git a/tools/misc.c b/tools/misc.c
index c49f81b0d002dd2d251b80f928e654b646cb91d1..d86d7b15a0bfe09d0d2efc7ef65e02f9f1a9028b 100644
--- a/tools/misc.c
+++ b/tools/misc.c
@@ -48,8 +48,6 @@ werror(const char *format, ...)
   va_start(args, format);
   vfprintf(stderr, format, args);
   va_end(args);
-
-  exit(EXIT_FAILURE);
 }
 
 const char