summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristoph M. Becker <cmbecker69@gmx.de>2020-05-28 15:34:09 +0200
committerChristoph M. Becker <cmbecker69@gmx.de>2020-05-28 15:34:09 +0200
commit8068fad481d1c80a03e360161da7a43227c50356 (patch)
treee4f6f30c0835bdceafd30b6fcdf613c8a0c6d770
parent490ca05883ecd15d6338400e09ec991a8a2a4299 (diff)
parent744f9016c44d26c2c3f23f4fb24276d6e46eaa58 (diff)
downloadphp-git-8068fad481d1c80a03e360161da7a43227c50356.tar.gz
Merge branch 'PHP-7.3' into PHP-7.4
* PHP-7.3: Fix PVS-Studio integration
-rw-r--r--win32/build/config.w321
1 files changed, 1 insertions, 0 deletions
diff --git a/win32/build/config.w32 b/win32/build/config.w32
index a1aebb6603..fcb98704f4 100644
--- a/win32/build/config.w32
+++ b/win32/build/config.w32
@@ -215,6 +215,7 @@ if (PHP_ANALYZER == "vs") {
pvscfg.WriteLine("platform = " + (X64 ? 'x64' : 'Win32'));
pvscfg.WriteLine("preprocessor = visualcpp");
pvscfg.WriteLine("language = C");
+ pvscfg.WriteLine("skip-cl-exe = no");
}
} else {
PHP_ANALYZER = "no"