commit bash-20090730 snapshot

2026-07-12 06:30:50 +02:00 · 2011-12-08 20:13:24 -05:00
parent dfc21851b5
commit 9dd88db757
38 changed files with 7519 additions and 68 deletions
@@ -892,6 +892,9 @@ void
 exit_shell (s)
     int s;
 {
+  fflush (stdout);		/* XXX */
+  fflush (stderr);
+
  /* Do trap[0] if defined.  Allow it to override the exit status
     passed to us. */
  if (signal_is_trapped (0))