diff options
| author | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-05-06 10:46:17 +0000 |
|---|---|---|
| committer | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-05-06 10:46:17 +0000 |
| commit | cd3ef82256a52fafeafc953d6bdee221b249f0d1 (patch) | |
| tree | 636a615d789e1e00949bc765ae349438fdfb2769 | |
| parent | 76cb9822418b75842073fdd00d515385162e9480 (diff) | |
| download | gcc-cd3ef82256a52fafeafc953d6bdee221b249f0d1.tar.gz | |
* gcc-interface/misc.c (gnat_post_options): Disable caret by default.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@187207 138bc75d-0d04-0410-961f-82ee72b054a4
| -rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ada/gcc-interface/misc.c | 4 |
2 files changed, 8 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 345f1937d0c..f5649654491 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,5 +1,9 @@ 2012-05-06 Eric Botcazou <ebotcazou@adacore.com> + * gcc-interface/misc.c (gnat_post_options): Disable caret by default. + +2012-05-06 Eric Botcazou <ebotcazou@adacore.com> + * gcc-interface/gigi.h (make_packable_type): Declare. (make_type_from_size): Likewise. (relate_alias_sets): Likewise. diff --git a/gcc/ada/gcc-interface/misc.c b/gcc/ada/gcc-interface/misc.c index 08ca5bb92b3..974827a787f 100644 --- a/gcc/ada/gcc-interface/misc.c +++ b/gcc/ada/gcc-interface/misc.c @@ -235,6 +235,10 @@ gnat_post_options (const char **pfilename ATTRIBUTE_UNUSED) /* No psABI change warnings for Ada. */ warn_psabi = 0; + /* No caret by default for Ada. */ + if (!global_options_set.x_flag_diagnostics_show_caret) + global_dc->show_caret = false; + optimize = global_options.x_optimize; optimize_size = global_options.x_optimize_size; flag_compare_debug = global_options.x_flag_compare_debug; |