From 9e47ce64acb74509a1c396f2b234a1b474028ce4 Mon Sep 17 00:00:00 2001 From: krakjoe Date: Tue, 12 Nov 2013 12:11:02 +0000 Subject: [PATCH] windows --- config.w32 | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 config.w32 diff --git a/config.w32 b/config.w32 new file mode 100644 index 0000000000..2359283998 --- /dev/null +++ b/config.w32 @@ -0,0 +1,5 @@ +ARG_ENABLE('phpdbg', 'Build phpdbg', 'yes'); + +if (PHP_PHPDBG == "yes") { + SAPI('phpdbg', 'phpdbg.c phpdbg_prompt.c phpdbg_help.c phpdbg_print.c phpdbg_bp.c phpdbg_opcode.c phpdbg_list.c phpdbg_utils.c', 'phpdbg.exe'); +} -- 2.50.1