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 6e3c979..afd892e 100644 --- a/gcc/java/java-tree.h +++ b/gcc/java/java-tree.h @@ -153,6 +153,10 @@ extern int flag_jni; extern int flag_extraneous_semicolon; +/* When non zero, always check for a non gcj generated classes archive. */ + +extern int flag_force_classes_archive_check; + /* When non zero, we emit xref strings. Values of the flag for xref backends are defined in xref.h. */ |