From df1637c580457234d805154efea1c51a83b1136a Mon Sep 17 00:00:00 2001
From: stijn <stinos@zoho.com>
Date: Thu, 9 Apr 2015 12:40:12 +0200
Subject: [PATCH] unix: Automatically fix incompatible readline build options.

---
 unix/input.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/unix/input.c b/unix/input.c
index 2676b2e224..8fd5cba080 100644
--- a/unix/input.c
+++ b/unix/input.c
@@ -36,6 +36,9 @@
 #include <readline/readline.h>
 #include <readline/history.h>
 #include <readline/tilde.h>
+#else
+#undef MICROPY_USE_READLINE_HISTORY
+#define MICROPY_USE_READLINE_HISTORY (0)
 #endif
 
 char *prompt(char *p) {