summaryrefslogtreecommitdiff
path: root/gcc/ada/gcc-interface/misc.c
diff options
context:
space:
mode:
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>2014-10-30 11:45:03 +0000
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>2014-10-30 11:45:03 +0000
commitba304533cf49f0c220ca5b4df1a129ab2a1202b8 (patch)
tree3abd6dc4c5aa4045421ac990a987d45ccfa886b6 /gcc/ada/gcc-interface/misc.c
parent672fae98c8ea66d010eb8212edd60ca0c7d0268f (diff)
Re-commit wrongly reverted previous change.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@216922 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/gcc-interface/misc.c')
-rw-r--r--gcc/ada/gcc-interface/misc.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/gcc-interface/misc.c b/gcc/ada/gcc-interface/misc.c
index 4510cd141c36..fe28e9697aef 100644
--- a/gcc/ada/gcc-interface/misc.c
+++ b/gcc/ada/gcc-interface/misc.c
@@ -238,6 +238,7 @@ gnat_init_options (unsigned int decoded_options_count,
#undef flag_compare_debug
#undef flag_short_enums
#undef flag_stack_check
+int gnat_encodings = 0;
int optimize;
int optimize_size;
int flag_compare_debug;