diff options
Diffstat (limited to 'gcc/java/java-tree.h')
| -rw-r--r-- | gcc/java/java-tree.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/java/java-tree.h b/gcc/java/java-tree.h index a609820..0dd57ea 100644 --- a/gcc/java/java-tree.h +++ b/gcc/java/java-tree.h @@ -141,6 +141,10 @@ extern int flag_emit_class_files; extern int flag_jni; +/* When non zero, report the now deprecated empty statements. */ + +extern int flag_extraneous_semicolon; + /* When non zero, we emit xref strings. Values of the flag for xref backends are defined in xref.h. */ |