diff options
Diffstat (limited to 'devel/php56-readline/files/patch-readline_cli.c')
| -rw-r--r-- | devel/php56-readline/files/patch-readline_cli.c | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/devel/php56-readline/files/patch-readline_cli.c b/devel/php56-readline/files/patch-readline_cli.c new file mode 100644 index 000000000000..02f55974f9b0 --- /dev/null +++ b/devel/php56-readline/files/patch-readline_cli.c @@ -0,0 +1,13 @@ +--- readline_cli.c.orig 2012-03-02 16:40:26.000000000 +0100 ++++ readline_cli.c 2012-03-02 16:40:43.000000000 +0100 +@@ -19,6 +19,10 @@ + + /* $Id: readline_cli.c 321634 2012-01-01 13:15:04Z felipe $ */ + ++#ifdef HAVE_CONFIG_H ++#include "config.h" ++#endif ++ + #include "php.h" + + #ifndef HAVE_RL_COMPLETION_MATCHES |