Merge branch 'PHP-7.3' into PHP-7.4

cmb69 · cmb69 · commit 8068fad481d1 · 2020-05-28T15:34:09.000+02:00
* PHP-7.3:
  Fix PVS-Studio integration
diff --git 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"

Original file line number	Diff line number	Diff line change
`@@ -215,6 +215,7 @@ if (PHP_ANALYZER == "vs") {`
`215`	`215`	`pvscfg.WriteLine("platform = " + (X64 ? 'x64' : 'Win32'));`
`216`	`216`	`pvscfg.WriteLine("preprocessor = visualcpp");`
`217`	`217`	`pvscfg.WriteLine("language = C");`
	`218`	`+ pvscfg.WriteLine("skip-cl-exe = no");`
`218`	`219`	`}`
`219`	`220`	`} else {`
`220`	`221`	`PHP_ANALYZER = "no"`