diff --git a/tools/misc.h b/tools/misc.h
index b0ddb61a4f0c686024965b5c47e1d60f1f1d7332..828fe9bd8c58b11291c648c6ea80e8ef50ad5f39 100644
--- a/tools/misc.h
+++ b/tools/misc.h
@@ -39,7 +39,6 @@ void
 werror(const char *format, ...)
 #if __GNUC___
      __attribute__((__format__ (__printf__,1, 2)))
-     __attribute__((__noreturn__))
 #endif
      ;