diff options
| -rw-r--r-- | ports/unix/input.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ports/unix/input.c b/ports/unix/input.c index c5bf71973..31926a5a8 100644 --- a/ports/unix/input.c +++ b/ports/unix/input.c @@ -43,6 +43,7 @@ char *prompt(char *p) { // simple read string static char buf[256]; fputs(p, stdout); + fflush(stdout); char *s = fgets(buf, sizeof(buf), stdin); if (!s) { return NULL; |