diff options
| -rw-r--r-- | ext/standard/config.w32 | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/ext/standard/config.w32 b/ext/standard/config.w32 index 21b062ae52..9658ed6aeb 100644 --- a/ext/standard/config.w32 +++ b/ext/standard/config.w32 @@ -7,7 +7,11 @@ AC_DEFINE("PHP_CONFIG_FILE_SCAN_DIR", PHP_CONFIG_FILE_SCAN_DIR); ARG_WITH("config-file-path", "Where to find php.ini", '(getenv("SystemRoot"))?getenv("SystemRoot"):""'); -AC_DEFINE("PHP_CONFIG_FILE_PATH", PHP_CONFIG_FILE_PATH, null, false); +if (PHP_CONFIG_FILE_PATH == null) { + AC_DEFINE("PHP_CONFIG_FILE_PATH", PHP_CONFIG_FILE_PATH, null, false); +} else { + AC_DEFINE("PHP_CONFIG_FILE_PATH", PHP_CONFIG_FILE_PATH); +} EXTENSION("standard", "array.c base64.c basic_functions.c browscap.c \ crc32.c crypt.c cyr_convert.c datetime.c dir.c dl.c dns.c exec.c \ |