This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r192942 - in /trunk/gcc/ada: ChangeLog Make-gen...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Mon, 29 Oct 2012 11:56:46 -0000
- Subject: r192942 - in /trunk/gcc/ada: ChangeLog Make-gen...
Author: charlet
Date: Mon Oct 29 11:56:46 2012
New Revision: 192942
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=192942
Log:
2012-10-29 Pascal Obry <obry@adacore.com>
* xoscons.adb, Make-generated.in; The template used by xoscons is now
given as parameter.
* gcc-interface/Make-lang.in: Update dependencies.
2012-10-29 Yannick Moy <moy@adacore.com>
* exp_dbug.adb (Qualify_Entity_Name): Only do renaming in formal
verification mode when there is a homonym.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/Make-generated.in
trunk/gcc/ada/exp_dbug.adb
trunk/gcc/ada/gcc-interface/Make-lang.in
trunk/gcc/ada/xoscons.adb