diff options
author | Christoph M. Becker <cmbecker69@gmx.de> | 2020-05-28 15:20:06 +0200 |
---|---|---|
committer | Christoph M. Becker <cmbecker69@gmx.de> | 2020-05-28 15:23:37 +0200 |
commit | 744f9016c44d26c2c3f23f4fb24276d6e46eaa58 (patch) | |
tree | bc09565e949caa761ff377371110f706ed95cdee /win32 | |
parent | 1f521a0b2397dc4b4f5607add1a67f8bc88df291 (diff) | |
download | php-git-744f9016c44d26c2c3f23f4fb24276d6e46eaa58.tar.gz |
Fix PVS-Studio integration
Without this configuration option, PVS-Studio looks for preprocessed
files (*.i), but these do not exists.
Diffstat (limited to 'win32')
-rw-r--r-- | win32/build/config.w32 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/win32/build/config.w32 b/win32/build/config.w32 index 523b024c06..6ea1c57540 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" |