diff options
Diffstat (limited to 'system/lua5.3/linenoise.patch')
| -rw-r--r-- | system/lua5.3/linenoise.patch | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/system/lua5.3/linenoise.patch b/system/lua5.3/linenoise.patch deleted file mode 100644 index fdca6205a..000000000 --- a/system/lua5.3/linenoise.patch +++ /dev/null @@ -1,18 +0,0 @@ ---- ./src/lua.c.orig -+++ ./src/lua.c -@@ -85,6 +85,15 @@ - add_history(lua_tostring(L, idx)); /* add it to history */ - #define lua_freeline(L,b) ((void)L, free(b)) - -+#elif defined(LUA_USE_LINENOISE)/* }{ */ -+ -+#include "linenoise.h" -+#define lua_readline(L,b,p) ((void)L, ((b)=linenoise(p)) != NULL) -+#define lua_saveline(L,idx) \ -+ if (lua_rawlen(L,idx) > 0) /* non-empty line? */ \ -+ linenoiseHistoryAdd(lua_tostring(L, idx)); /* add it to history */ -+#define lua_freeline(L,b) ((void)L, free(b)) -+ - #else /* }{ */ - - #define lua_readline(L,b,p) \ |