diff options
| author | Bart Schaefer <barts@users.sourceforge.net> | 2010-11-27 19:46:32 +0000 |
|---|---|---|
| committer | Bart Schaefer <barts@users.sourceforge.net> | 2010-11-27 19:46:32 +0000 |
| commit | cf17c398322befed2ac30485f759a4fabc8bef08 (patch) | |
| tree | 419f82fe4205d327c460844f0533ce7425ecb7f9 | |
| parent | 2e37fda9256ee65b204b475f63579f072c870093 (diff) | |
| download | zsh-cf17c398322befed2ac30485f759a4fabc8bef08.tar.gz zsh-cf17c398322befed2ac30485f759a4fabc8bef08.tar.xz zsh-cf17c398322befed2ac30485f759a4fabc8bef08.zip | |
28461: flush stderr in PRINT_EXIT_VALUE handling.
| -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) { |