diff options
| -rw-r--r-- | Src/exec.c | 1 |
1 files changed, 1 insertions, 0 deletions
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) { |