diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2013-01-11 11:46:21 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@adacore.com> | 2013-01-11 11:46:21 +0000 |
| commit | 9f308e521113639da56ededa943d7e80867121a4 (patch) | |
| tree | 53024f967ba745e5434dd0f0cb402d262cc2f6c1 /gcc/configure.ac | |
| parent | 39282497a894d8231a03c85281b16aa1af91c86c (diff) | |
* Makefile.tpl (BOOT_ADAFLAGS): Remove -gnata.
* Makefile.in: Regenerate.
gcc/
* configure.ac (Tree checking): Set TREECHECKING to yes if enabled.
Substitute TREECHECKING.
* configure: Regenerate.
* Makefile.in (TREECHECKING): New.
gcc/ada/
* gcc-interface/Make-lang.in (COMMON_ADAFLAGS): Remove -gnata.
(CHECKING_ADAFLAGS): New.
(ALL_ADAFLAGS): Include CHECKING_ADAFLAGS.
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@195104 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/configure.ac')
| -rw-r--r-- | gcc/configure.ac | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/configure.ac b/gcc/configure.ac index fab2bf333b6..3703a20b075 100644 --- a/gcc/configure.ac +++ b/gcc/configure.ac @@ -470,6 +470,7 @@ if test x$ac_tree_checking != x ; then routines will also be enabled by this option. ]) TREEBROWSER=tree-browser.o + TREECHECKING=yes fi if test x$ac_types_checking != x ; then AC_DEFINE(ENABLE_TYPES_CHECKING, 1, @@ -478,6 +479,7 @@ if test x$ac_types_checking != x ; then ]) fi AC_SUBST(TREEBROWSER) +AC_SUBST(TREECHECKING) if test x$ac_rtl_checking != x ; then AC_DEFINE(ENABLE_RTL_CHECKING, 1, [Define if you want all operations on RTL (the basic data structure |