diagnostics: use flush, not fflush

* src/complain.c: here.
This commit is contained in:
Akim Demaille
2019-04-27 14:27:17 +02:00
parent f5a4e279bc
commit 8f5d475079

View File

@@ -424,12 +424,12 @@ error_message (const location *loc, warnings flags, severity sever,
if (l < 2 || message[l - 2] != ':' || message[l - 1] != ' ')
{
putc ('\n', stderr);
fflush (stderr);
flush (stderr);
if (loc && feature_flag & feature_caret && !(flags & no_caret))
location_caret (*loc, style, stderr);
}
}
fflush (stderr);
flush (stderr);
}
/** Raise a complaint (fatal error, error or just warning). */