From 8f0b7e52741badc7182c5cbe54f2ceb868f97534 Mon Sep 17 00:00:00 2001 From: Michael Wallner Date: Mon, 5 Oct 2015 08:45:00 +0200 Subject: [PATCH] flush --- presets/config.w32 | 32 ++++++++++++++++---------------- 1 file changed, 16 insertions(+), 16 deletions(-) diff --git a/presets/config.w32 b/presets/config.w32 index b361abf..5add06c 100644 --- a/presets/config.w32 +++ b/presets/config.w32 @@ -1,16 +1,16 @@ - -ARG_ENABLE("", "for support", "no"); - -if (PHP_ == "yes") { - var PHP__HEADERS=glob("src/*.h"), PHP__SOURCES=glob("src/*.c"); - - EXTENSION("", PHP__SOURCES); - PHP_INSTALL_HEADERS("ext/", "php_propro.h"); - for (var i=0; i_HEADERS.length; ++i) { - var basename = FSO.GetFileName(PHP__HEADERS[i]); - copy_and_subst(PHP__HEADERS[i], basename, []); - PHP_INSTALL_HEADERS("ext/", basename); - } - - AC_DEFINE("HAVE_", 1); -} + +ARG_ENABLE("", "for support", "no"); + +if (PHP_ == "yes") { + var PHP__HEADERS=glob("src/*.h"), PHP__SOURCES=glob("src/*.c"); + + EXTENSION("", PHP__SOURCES); + PHP_INSTALL_HEADERS("ext/", "php_propro.h"); + for (var i=0; i_HEADERS.length; ++i) { + var basename = FSO.GetFileName(PHP__HEADERS[i]); + copy_and_subst(PHP__HEADERS[i], basename, []); + PHP_INSTALL_HEADERS("ext/", basename); + } + + AC_DEFINE("HAVE_", 1); +} -- 2.30.2