diff options
author | Anatol Belski <ab@php.net> | 2018-03-08 11:38:02 +0100 |
---|---|---|
committer | Anatol Belski <ab@php.net> | 2018-03-08 11:48:37 +0100 |
commit | 34b9f9dedf78a01844074d595e483371a28dfdd3 (patch) | |
tree | 071def46ce9b9178bb8b40d9dae3329a08211892 | |
parent | 00bfc6eb4959d820fbc0b45abe772c22fe70ff4c (diff) | |
download | php-git-34b9f9dedf78a01844074d595e483371a28dfdd3.tar.gz |
Disable PGO for phpdbg
For executable files, the linker seems to have issues dealing with the
empty profiling database. As PGO is unlikely to bring any benefit in
this case, the easiest is to disable it.
-rw-r--r-- | sapi/phpdbg/config.w32 | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/sapi/phpdbg/config.w32 b/sapi/phpdbg/config.w32 index 2d907ee697..e69ca455f7 100644 --- a/sapi/phpdbg/config.w32 +++ b/sapi/phpdbg/config.w32 @@ -11,6 +11,10 @@ PHPDBG_DLL='php' + PHP_VERSION + 'phpdbg.dll'; PHPDBG_EXE='phpdbg.exe'; PHPDBG_CFLAGS='/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1'; +var PHP_PHPDBG_PGO = false; +var PHP_PHPDBG_WEBHELPER_PGO = false; +var PHP_PHPDBGS_PGO = false; + if (PHP_PHPDBG == "yes") { SAPI('phpdbg', PHPDBG_SOURCES, PHPDBG_EXE, PHPDBG_CFLAGS); ADD_FLAG("LIBS_PHPDBG", "ws2_32.lib user32.lib"); |