diff options
author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-10-30 11:45:03 +0000 |
---|---|---|
committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-10-30 11:45:03 +0000 |
commit | ba304533cf49f0c220ca5b4df1a129ab2a1202b8 (patch) | |
tree | 3abd6dc4c5aa4045421ac990a987d45ccfa886b6 /gcc/ada/gcc-interface/misc.c | |
parent | 672fae98c8ea66d010eb8212edd60ca0c7d0268f (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.c | 1 |
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; |