diff options
author | Andi Kleen <ak@linux.intel.com> | 2010-04-11 19:15:47 +0200 |
---|---|---|
committer | Andi Kleen <ak@linux.intel.com> | 2010-04-11 19:15:47 +0200 |
commit | fc9c5a4f50f8568687748dab3936cd24c6990ad3 (patch) | |
tree | 75b6e458173eb193c3f53b200ec7ba79b2b4fea6 | |
parent | b3e244d0d6b02615bf2e5552e8c1ad5d4337187c (diff) | |
download | mce-test-fc9c5a4f50f8568687748dab3936cd24c6990ad3.tar.gz |
tinjpage: Flush stdout in shared page child
Not strictly needed due to line buffering, but more
future proof.
Signed-off-by: Andi Kleen <ak@linux.intel.com>
-rw-r--r-- | tsrc/tinjpage.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tsrc/tinjpage.c b/tsrc/tinjpage.c index a9d7db5..97b598e 100644 --- a/tsrc/tinjpage.c +++ b/tsrc/tinjpage.c @@ -652,6 +652,7 @@ static void do_shared(int shared_mode) if (shared_mode == IPV_SHARED && shmdt(shared_page) == -1) err("shmdt"); + fflush(stdout); _exit(failure); } |