From 519a2d24c971ee37965b6038d924df31d431b448 Mon Sep 17 00:00:00 2001 From: Jan-E Date: Fri, 22 Jan 2016 13:38:46 +0100 Subject: [PATCH] Fix PHP5 config.w32 --- config.w32 | 15 +++++++++++---- 1 file changed, 11 insertions(+), 4 deletions(-) diff --git a/config.w32 b/config.w32 index ed086e8..a2727c3 100644 --- a/config.w32 +++ b/config.w32 @@ -2,14 +2,21 @@ ARG_ENABLE("propro", "for propro support", "no"); if (PHP_PROPRO == "yes") { - var PHP_PROPRO_HEADERS=glob("src/*.h"), PHP_PROPRO_SOURCES=glob("src/*.c"); + var PHP_PROPRO_HEADERS=glob(configure_module_dirname + "/src/*.h"); + var PHP_PROPRO_SRC_ARRAY=glob(configure_module_dirname + "/src/*.c"); + var PHP_PROPRO_SOURCES=""; + for (var i=0; i