diff --git a/src/libmain/shared.cc b/src/libmain/shared.cc
index 5a740367c..6f2f8c5e4 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);
     }