From e614103f04ef3fe9dbce1006f0ae5232f423bd29 Mon Sep 17 00:00:00 2001
From: OBattler <oubattler@gmail.com>
Date: Thu, 28 Dec 2023 11:38:34 +0100
Subject: [PATCH] Unix: Temporarily disable the use of f_readline, fixes #3949.

---
 src/unix/unix.c | 4 ++++
 1 file changed, 4 insertions(+)

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;