diff options
author | Liam Miller-Cushon <cushon@google.com> | 2017-02-16 23:29:15 -0800 |
---|---|---|
committer | Damien Martin-Guillerez <dmarting@google.com> | 2017-02-27 11:56:09 +0100 |
commit | 81ae08bbc13f5f4a04f18caae339ca77ae2699c1 (patch) | |
tree | 92e0424be16a8845742ba47c5e14c1d943424f38 /third_party | |
parent | 0785cbb672357d950e0c045770c4567df9fbdc43 (diff) |
Suppress error for non-exhaustive switches
Change-Id: I4fee049a92201fc8995e7aaa860f123101016480
Diffstat (limited to 'third_party')
-rw-r--r-- | third_party/checker_framework_dataflow/BUILD | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/third_party/checker_framework_dataflow/BUILD b/third_party/checker_framework_dataflow/BUILD index 5bcebeb7cb..b174255011 100644 --- a/third_party/checker_framework_dataflow/BUILD +++ b/third_party/checker_framework_dataflow/BUILD @@ -10,6 +10,7 @@ filegroup( java_library( name = "checker_framework_dataflow", srcs = glob(["java/**"]), + javacopts = ["-Xep:MissingCasesInEnumSwitch:OFF"], deps = [ "//third_party/checker_framework_javacutil", "@local_jdk//:langtools-neverlink", |