Initial commit

1 files changed, 20 insertions, 0 deletions

diff --git a/readline.patch b/readline.patch
new file mode 100644
index 000000000000..44a9895bbb80
--- /dev/null
+++ b/readline.patch
@@ -0,0 +1,20 @@
+diff --git a/consoline.c b/consoline.c
+index ca9b678..dd213de 100644
+--- a/consoline.c
++++ b/consoline.c
+@@ -5,6 +5,7 @@
+ 
+ #include "consoline.h"
+ 
++#include <stdio.h>
+ #include <readline/readline.h>
+ #include <readline/history.h>
+ #include <unistd.h>
+@@ -12,7 +13,6 @@
+ #include <stdarg.h>
+ #include <signal.h>
+ #include <errno.h>
+-#include <stdio.h>
+ 
+ static const char* current_prompt = NULL;
+ static char current_leave_entered_lines_on_stdout = 1;