From 9ccf57fa7528d19091b4113c2ca217ac6ca1a44d Mon Sep 17 00:00:00 2001 From: James Cherry Date: Thu, 8 May 2025 17:22:33 -0700 Subject: [PATCH] Report::critical exit Signed-off-by: James Cherry --- util/Report.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/util/Report.cc b/util/Report.cc index e541606c..413d03c4 100644 --- a/util/Report.cc +++ b/util/Report.cc @@ -304,6 +304,7 @@ Report::critical(int /* id */, printToBufferAppend(fmt, args); printBufferLine(); va_end(args); + exit(1); } void