From 779efc1cbc3feb0df01a3901a374b15123afb6e4 Mon Sep 17 00:00:00 2001
From: Lorenz Meier <lm@inf.ethz.ch>
Date: Sat, 12 Sep 2015 12:11:17 +0200
Subject: [PATCH] POSIX: Fix shell printing

---
 src/platforms/posix/main.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/platforms/posix/main.cpp b/src/platforms/posix/main.cpp
index be2eae5090..82c6f0cbfa 100644
--- a/src/platforms/posix/main.cpp
+++ b/src/platforms/posix/main.cpp
@@ -67,7 +67,9 @@ extern "C" {
 
 static void print_prompt()
 {
+	cout.flush();
 	cout << "pxh> ";
+	cout.flush();
 }
 
 static void run_cmd(const vector<string> &appargs)