1 files changed, 8 insertions, 0 deletions
diff --git a/msg.c b/msg.c
index 22cf5562..b94e840b 100644
--- a/msg.c
+++ b/msg.c
@@ -159,6 +159,14 @@ gawk_exit(int status)
 		longjmp(fatal_tag, 1);
 	}
 
+	final_exit(status);
+}
+
+/* final_exit --- run extension exit handlers and exit */
+
+void
+final_exit(int status)
+{
 	/* run any extension exit handlers */
 	run_ext_exit_handlers(status);