fflush stdout before failure in vfailure

This commit is contained in:
danyaberezun 2023-03-29 14:25:34 +02:00
parent 97d881959e
commit d23a0fcf61

View file

@ -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);