diff options
| author | Anatol Belski <ab@php.net> | 2014-03-24 10:24:37 +0100 |
|---|---|---|
| committer | Anatol Belski <ab@php.net> | 2014-03-24 10:24:37 +0100 |
| commit | 17a57ad980f9585fd614101af590c8086a2b7c17 (patch) | |
| tree | 6d082337f4cc3de4f11c9b6afac199c6f3166b3f /sapi/embed/config.w32 | |
| parent | 9b88bc494e5e749039bd0166723b6b0a35de5a3e (diff) | |
| download | php-git-17a57ad980f9585fd614101af590c8086a2b7c17.tar.gz | |
Fixed bug #65715 php5embed.lib isn't provided anymore
Diffstat (limited to 'sapi/embed/config.w32')
| -rw-r--r-- | sapi/embed/config.w32 | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sapi/embed/config.w32 b/sapi/embed/config.w32 index f3cc60d600..64e44bdd94 100644 --- a/sapi/embed/config.w32 +++ b/sapi/embed/config.w32 @@ -3,6 +3,8 @@ ARG_ENABLE('embed', 'Embedded SAPI library', 'no'); +var PHP_EMBED_PGO = false; + if (PHP_EMBED != "no") { SAPI('embed', 'php_embed.c', 'php' + PHP_VERSION + 'embed.lib'); PHP_INSTALL_HEADERS("sapi/embed", "php_embed.h"); |