support: flush cout in GetNumber

uClibc++ does not implicitly do this before getline.

Signed-off-by: Rosen Penev <rosenp@gmail.com>

1 files changed, 1 insertions, 1 deletions

diff --git a/support.cc b/support.cc
index 5ab8a23..1107993 100644
--- a/support.cc
+++ b/support.cc
@@ -73,7 +73,7 @@ uint64_t GetNumber(uint64_t low, uint64_t high, uint64_t def, const string & pro
 
    if (low != high) { // bother only if low and high differ...
       do {
-         cout << prompt;
+         cout << prompt << flush;
          cin.getline(line, 255);
          if (!cin.good())
             exit(5);