]> granicus.if.org Git - php/commitdiff
turn off some false positives
authorAnatol Belski <ab@php.net>
Sun, 2 Mar 2014 11:49:30 +0000 (12:49 +0100)
committerAnatol Belski <ab@php.net>
Sun, 2 Mar 2014 11:49:30 +0000 (12:49 +0100)
win32/build/confutils.js

index 5ccdfa11aaa14b553042dc3b8f7234f39f264dce..68aae6e397dad39e30496e921d61925c2b1ad378 100644 (file)
@@ -1393,7 +1393,7 @@ function ADD_SOURCES(dir, file_list, target, obj_dir)
 \r
                        if (PHP_ANALYZER == "pvs") {\r
                                MFO.WriteLine("\t@\"$(PVS_STUDIO)\" --cl-params $(" + flags + ") $(CFLAGS) $(" + bd_flags_name + ") /c " + dir + "\\" + src + " --source-file "  + dir + "\\" + src\r
-                                       + " --cfg PVS-Studio.conf ");\r
+                                       + " --cfg PVS-Studio.conf --errors-off \"V122 V117 V111\" ");\r
                        }\r
                        MFO.WriteLine("\t@$(CC) $(" + flags + ") $(CFLAGS) $(" + bd_flags_name + ") /c " + dir + "\\" + src + " /Fo" + sub_build + obj);\r
                }\r