diff options
| -rw-r--r-- | win32/build/config.w32 | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/win32/build/config.w32 b/win32/build/config.w32 index 61e1882ce4..aae27f2ca2 100644 --- a/win32/build/config.w32 +++ b/win32/build/config.w32 @@ -239,3 +239,10 @@ if (PHP_ANALYZER == "vs") { PHP_ANALYZER = "no" } +if (CLANG_TOOLSET) { + ARG_WITH("uncritical-warn-choke", "Disable some uncritical warnings", "yes"); + if (PHP_UNCRITICAL_WARN_CHOKE != "no") { + ADD_FLAG("CFLAGS", "-Wno-ignored-attributes -Wno-deprecated-declarations -Wno-missing-braces -Wno-msvc-include -Wno-invalid-source-encoding"); + } +} + |