commit bash-20190308 snapshot

2026-08-06 02:02:42 +02:00 · 2019-03-11 08:57:46 -04:00
parent f6388ab913
commit 203f479c03
12 changed files with 237 additions and 41 deletions
@@ -6361,6 +6361,9 @@ handle_eof_input_unit ()

      /* In this case EOF should exit the shell.  Do it now. */
      reset_parser ();
+
+      last_shell_builtin = this_shell_builtin;
+      this_shell_builtin = exit_builtin;
      exit_builtin ((WORD_LIST *)NULL);
    }
  else