diff options
| author | krakjoe <joe.watkins@live.co.uk> | 2014-02-18 08:40:33 +0000 |
|---|---|---|
| committer | krakjoe <joe.watkins@live.co.uk> | 2014-02-18 08:40:33 +0000 |
| commit | 0b19b9dd0c43484cc141106f2ac7265272c69162 (patch) | |
| tree | 60f795ae26a43d730d406acf6ace24344d57ec94 | |
| parent | f89f66d7620c316e751d5a3335a012070e7de457 (diff) | |
| download | php-git-0b19b9dd0c43484cc141106f2ac7265272c69162.tar.gz | |
fix #75 phpdbg disabled by default
| -rw-r--r-- | config.m4 | 2 | ||||
| -rw-r--r-- | config.w32 | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -3,7 +3,7 @@ dnl $Id$ dnl PHP_ARG_ENABLE(phpdbg, for phpdbg support, -[ --enable-phpdbg Build phpdbg], yes, yes) +[ --enable-phpdbg Build phpdbg], no, no) PHP_ARG_ENABLE(phpdbg-debug, for phpdbg debug build, [ --enable-phpdbg-debug Build phpdbg in debug mode], no, no) diff --git a/config.w32 b/config.w32 index 29031507b3..1ea862f59e 100644 --- a/config.w32 +++ b/config.w32 @@ -1,4 +1,4 @@ -ARG_ENABLE('phpdbg', 'Build phpdbg', 'yes'); +ARG_ENABLE('phpdbg', 'Build phpdbg', 'no'); ARG_ENABLE('phpdbgs', 'Build phpdbg shared', 'no'); PHPDBG_SOURCES='phpdbg.c phpdbg_prompt.c phpdbg_cmd.c phpdbg_info.c phpdbg_help.c phpdbg_break.c phpdbg_print.c phpdbg_bp.c phpdbg_opcode.c phpdbg_list.c phpdbg_utils.c phpdbg_set.c phpdbg_frame.c'; |