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 /ChangeLog | |
| 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 'ChangeLog')
| -rw-r--r-- | ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog index 718b0fc7527..db450e820bf 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2013-01-11 Eric Botcazou <ebotcazou@adacore.com> + + * Makefile.tpl (BOOT_ADAFLAGS): Remove -gnata. + * Makefile.in: Regenerate. + 2013-01-10 Joern Rennecke <joern.rennecke@embecosm.com> * MAINTAINERS (arc): Add new port maintainership for myself. |