diff options
Diffstat (limited to 'src/libmain/shared.cc')
| -rw-r--r-- | src/libmain/shared.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/libmain/shared.cc b/src/libmain/shared.cc index 5a740367ca12..6f2f8c5e47cc 100644 --- a/src/libmain/shared.cc +++ b/src/libmain/shared.cc @@ -319,6 +319,7 @@ RunPager::RunPager() RunPager::~RunPager() { if (pid != -1) { + std::cout.flush(); close(STDOUT_FILENO); pid.wait(true); } |