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 | |
| parent | 0785cbb672357d950e0c045770c4567df9fbdc43 (diff) | |
Suppress error for non-exhaustive switches
Change-Id: I4fee049a92201fc8995e7aaa860f123101016480
| -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", |