mirror of
https://github.com/php/php-src.git
synced 2025-08-20 09:24:05 +02:00
extend help msg
This commit is contained in:
parent
b415290c92
commit
be0958d291
1 changed files with 1 additions and 1 deletions
|
@ -212,7 +212,7 @@ if (PHP_SECURITY_FLAGS == "yes") {
|
||||||
ADD_FLAG("LDFLAGS", "/NXCOMPAT /DYNAMICBASE ");
|
ADD_FLAG("LDFLAGS", "/NXCOMPAT /DYNAMICBASE ");
|
||||||
}
|
}
|
||||||
|
|
||||||
ARG_WITH("analyzer", "Enable static analyzer. Pass vs for Visual Studio, pvs for PVS-Studio", "no");
|
ARG_WITH("analyzer", "Enable static analyzer. Pass vs for Visual Studio, clang for clang, pvs for PVS-Studio", "no");
|
||||||
if (PHP_ANALYZER == "vs") {
|
if (PHP_ANALYZER == "vs") {
|
||||||
ADD_FLAG("CFLAGS", " /analyze ");
|
ADD_FLAG("CFLAGS", " /analyze ");
|
||||||
ADD_FLAG("CFLAGS", " /wd6308 ");
|
ADD_FLAG("CFLAGS", " /wd6308 ");
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue