Work around glibc's failure to flush stdin on fclose.

[gnulib.git] / lib / closein.c

diff --git a/lib/closein.c b/lib/closein.c
index 1aade1d..5153484 100644 (file)
--- a/lib/closein.c
+++ b/lib/closein.c
@@ -79,7 +79,7 @@ void
 close_stdin (void)
 {
   bool fail = false;
-  if (close_stream (stdin) != 0)
+  if (fflush (stdin) != 0 || close_stream (stdin) != 0)
     {
       char const *close_error = _("error closing file");
       if (file_name)