aboutsummaryrefslogtreecommitdiff
path: root/gcc/java/lang-options.h
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/java/lang-options.h')
-rw-r--r--gcc/java/lang-options.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/java/lang-options.h b/gcc/java/lang-options.h
index 76c6fe2..630e6d8 100644
--- a/gcc/java/lang-options.h
+++ b/gcc/java/lang-options.h
@@ -51,3 +51,4 @@ DEFINE_LANG_NAME ("Java")
{ "-Wredundant-modifiers",
"Warn if modifiers are specified when not necessary"},
{ "-Wunsupported-jdk11", "Warn if `final' local variables are specified"},
+ { "-Wextraneous-semicolon", "Warn if deprecated empty statements are found"},