summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAnatol Belski <ab@php.net>2018-03-08 11:38:02 +0100
committerAnatol Belski <ab@php.net>2018-03-08 11:48:37 +0100
commit34b9f9dedf78a01844074d595e483371a28dfdd3 (patch)
tree071def46ce9b9178bb8b40d9dae3329a08211892
parent00bfc6eb4959d820fbc0b45abe772c22fe70ff4c (diff)
downloadphp-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.w324
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");