diff options
| author | Anatol Belski <ab@php.net> | 2014-03-24 10:32:07 +0100 |
|---|---|---|
| committer | Anatol Belski <ab@php.net> | 2014-03-24 10:32:07 +0100 |
| commit | 12bc572008b8d83b1c833fdc1de3c12b65bc8f0b (patch) | |
| tree | 9ec58a6adf1779119687ac90dda5cca4c47f2f28 /sapi/embed | |
| parent | d374c7703cf443beece189aff00a7f517c0464f2 (diff) | |
| parent | 26f7051cf473b28d1aa8e922a5a1ff87c4581911 (diff) | |
| download | php-git-12bc572008b8d83b1c833fdc1de3c12b65bc8f0b.tar.gz | |
Merge branch 'PHP-5.6'
* PHP-5.6:
updated NEWS
updated NEWS
updated NEWS
Fixed bug #65715 php5embed.lib isn't provided anymore
Diffstat (limited to 'sapi/embed')
| -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"); |