diff options
Diffstat (limited to 'ext/standard/config.w32')
| -rw-r--r-- | ext/standard/config.w32 | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ext/standard/config.w32 b/ext/standard/config.w32 index 11e34f8105..2ce197b9d7 100644 --- a/ext/standard/config.w32 +++ b/ext/standard/config.w32 @@ -37,7 +37,8 @@ EXTENSION("standard", "array.c base64.c basic_functions.c browscap.c \ user_filters.c uuencode.c filters.c proc_open.c password.c \ streamsfuncs.c http.c flock_compat.c random.c hrtime.c", false /* never shared */, '/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1'); - PHP_INSTALL_HEADERS("", "ext/standard"); +PHP_INSTALL_HEADERS("", "ext/standard"); +PHP_STANDARD = "yes"; if (PHP_MBREGEX != "no") { CHECK_HEADER_ADD_INCLUDE("oniguruma.h", "CFLAGS_STANDARD", PHP_MBREGEX + ";ext\\mbstring\\oniguruma") } |