diff options
Diffstat (limited to 'release.sh')
| -rwxr-xr-x | release.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/release.sh b/release.sh index 06663b998f727..d6cc74b431180 100755 --- a/release.sh +++ b/release.sh @@ -383,6 +383,7 @@ build_set() { clang_flags="-Weverything -Wno-padded -Wno-switch-enum -Wno-format-nonliteral" clang_flags="$clang_flags -Wno-cast-align -Wno-missing-noreturn -Wno-disabled-macro-expansion" clang_flags="$clang_flags -Wno-unreachable-code -Wno-unreachable-code-return" +clang_flags="$clang_flags -Wno-implicit-fallthrough" gcc_flags="-Wno-maybe-uninitialized -Wno-clobbered" cflags="-Wall -Wextra -Werror -pedantic -Wno-conditional-uninitialized" |