diff --git a/src/unix/unix.c b/src/unix/unix.c index 2e76ee5a9..e784df38e 100644 --- a/src/unix/unix.c +++ b/src/unix/unix.c @@ -917,12 +917,16 @@ monitor_thread(void *param) while (!exit_event) { if (feof(stdin)) break; +#ifdef ENABLE_READLINE if (f_readline) line = f_readline("(86Box) "); else { +#endif printf("(86Box) "); (void) !getline(&line, &n, stdin); +#ifdef ENABLE_READLINE } +#endif if (line) { int cmdargc = 0; char *linecpy;