diff options
| author | stijn <stinos@zoho.com> | 2015-04-09 12:40:12 +0200 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2015-04-09 13:35:16 +0000 |
| commit | df1637c580457234d805154efea1c51a83b1136a (patch) | |
| tree | f18b56ba0b13faa61ab81acf551968abc6220d3b | |
| parent | e50cff69bb0dbca8ed363b5c7c459e01cb7f00ac (diff) | |
unix: Automatically fix incompatible readline build options.
| -rw-r--r-- | unix/input.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/unix/input.c b/unix/input.c index 2676b2e22..8fd5cba08 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) { |