diff options
| -rwxr-xr-x | tools/luadevel/wscript | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/luadevel/wscript b/tools/luadevel/wscript index 7cf7803889..c3c4d90aa6 100755 --- a/tools/luadevel/wscript +++ b/tools/luadevel/wscript @@ -22,6 +22,7 @@ def configure(conf): header_name='stdio.h readline/readline.h', lib='readline', uselib_store='READLINE', + define_name='HAVE_READLINE', mandatory=False) autowaf.configure(conf) |