* utils.c (quit): Also call gdb_flush on standard output and error.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 4d413b1f171bba92c0e8a0999475f6e9f324cefb..244774e5a6130b5d15f9e3fc9108e0f857468b8e 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,5 +1,7 @@
 Tue Nov  9 12:20:46 1993  Jim Kingdon  (kingdon@lioth.cygnus.com)
 
+       * utils.c (quit): Also call gdb_flush on standard output and error.
+
        * .gdbinit: Remove "source /.gdbinit".  It causes a spurious error
        if /.gdbinit doesn't exist (and I know of no convention of putting
        something in /.gdbinit).