summaryrefslogtreecommitdiff
path: root/.bazelrc
diff options
context:
space:
mode:
authorSteven Le Rouzic <steven.lerouzic@gmail.com>2025-01-05 16:23:04 +0100
committerSteven Le Rouzic <steven.lerouzic@gmail.com>2025-01-05 16:23:04 +0100
commit11894bef04095c37196af5ae1bfed885775d49eb (patch)
tree42c776a4caf24559d2e7e3aeedcafa73674b455b /.bazelrc
parent8607772d4f9e21f53c1abfd9379737403b97f430 (diff)
Add formatting & factories for status
Diffstat (limited to '.bazelrc')
-rw-r--r--.bazelrc1
1 files changed, 1 insertions, 0 deletions
diff --git a/.bazelrc b/.bazelrc
index c0e100a..99963d6 100644
--- a/.bazelrc
+++ b/.bazelrc
@@ -20,6 +20,7 @@ build --cxxopt=-Wno-extra-semi-stmt
build --cxxopt=-Wno-extra-semi
build --cxxopt=-Wno-global-constructors
build --cxxopt=-Wno-unsafe-buffer-usage
+build --cxxopt=-Wno-covered-switch-default
build:windows_san --config=windows
build:windows_san --copt=-fno-sanitize-ignorelist