diff options
author | Bob Weinand <bobwei9@hotmail.com> | 2014-06-29 11:26:03 +0200 |
---|---|---|
committer | Bob Weinand <bobwei9@hotmail.com> | 2014-06-29 11:26:03 +0200 |
commit | 219beac36b9e421fd9a4920f214e9c63747eaafb (patch) | |
tree | 00419a74724c1b96fa98dea5caa5bf7c577271ea /phpdbg.h | |
parent | 858b45d4ad86a9d1ec857e20cf8c8e33c15500c0 (diff) | |
download | php-git-219beac36b9e421fd9a4920f214e9c63747eaafb.tar.gz |
Fix readline/libedit (Thanks to @remicollet)
Diffstat (limited to 'phpdbg.h')
-rw-r--r-- | phpdbg.h | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -68,6 +68,9 @@ # include <readline/readline.h> # include <readline/history.h> #endif +#ifdef HAVE_LIBEDIT +# include <editline/readline.h> +#endif #include "phpdbg_lexer.h" #include "phpdbg_cmd.h" |