diff options
author | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-01-11 11:46:21 +0000 |
---|---|---|
committer | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-01-11 11:46:21 +0000 |
commit | 1410e798d6305a28f584d1c9973341b05ad542e7 (patch) | |
tree | 53024f967ba745e5434dd0f0cb402d262cc2f6c1 /gcc/configure.ac | |
parent | 742ca2be3d11b4bb0d1a5ff959efbb08a08f9912 (diff) | |
download | gcc-1410e798d6305a28f584d1c9973341b05ad542e7.tar.gz |
* 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: svn+ssh://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 |