]> granicus.if.org Git - php/commitdiff
Fix PVS-Studio integration
authorChristoph M. Becker <cmbecker69@gmx.de>
Thu, 28 May 2020 13:20:06 +0000 (15:20 +0200)
committerChristoph M. Becker <cmbecker69@gmx.de>
Thu, 28 May 2020 13:23:37 +0000 (15:23 +0200)
Without this configuration option, PVS-Studio looks for preprocessed
files (*.i), but these do not exists.

win32/build/config.w32

index 523b024c0648a3bc6c2dd4fd640bef7b2c192bcd..6ea1c57540bb3d1571f08d2e42221d4b80bfa4e2 100644 (file)
@@ -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"