From cf17c398322befed2ac30485f759a4fabc8bef08 Mon Sep 17 00:00:00 2001 From: Bart Schaefer Date: Sat, 27 Nov 2010 19:46:32 +0000 Subject: 28461: flush stderr in PRINT_EXIT_VALUE handling. --- Src/exec.c | 1 + 1 file changed, 1 insertion(+) diff --git a/Src/exec.c b/Src/exec.c index f50209a7a..e74fac578 100644 --- a/Src/exec.c +++ b/Src/exec.c @@ -3186,6 +3186,7 @@ execcmd(Estate state, int input, int output, int how, int last1) if (isset(PRINTEXITVALUE) && isset(SHINSTDIN) && lastval && !subsh) { fprintf(stderr, "zsh: exit %ld\n", (long)lastval); + fflush(stderr); } if (do_exec) { -- cgit 1.4.1