diff options
Diffstat (limited to 'ext/standard/config.w32')
| -rw-r--r-- | ext/standard/config.w32 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ext/standard/config.w32 b/ext/standard/config.w32 index d23bfd9db2..3de43d04c0 100644 --- a/ext/standard/config.w32 +++ b/ext/standard/config.w32 @@ -37,5 +37,6 @@ 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_STANDARD = "yes"; ADD_MAKEFILE_FRAGMENT(); PHP_INSTALL_HEADERS("", "ext/standard"); |