From d23a0fcf61a1eb4d554aa38d6aa947a8de6f0be3 Mon Sep 17 00:00:00 2001
From: danyaberezun <danya.berezun@gmail.com>
Date: Wed, 29 Mar 2023 14:25:34 +0200
Subject: [PATCH] fflush stdout before failure in vfailure

---
 runtime/runtime.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/runtime/runtime.c b/runtime/runtime.c
index 03d2edecf..5f799c0eb 100644
--- a/runtime/runtime.c
+++ b/runtime/runtime.c
@@ -127,6 +127,7 @@ void pop_extra_root (void ** p) {
 /* end */
 
 static void vfailure (char *s, va_list args) {
+  fflush   (stdout);
   fprintf  (stderr, "*** FAILURE: ");
   vfprintf (stderr, s, args); // vprintf (char *, va_list) <-> printf (char *, ...)
   exit     (255);