[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Mon, 29 Oct 2012 11:56:46 +0000 (12:56 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 29 Oct 2012 11:56:46 +0000 (12:56 +0100)
commit5f41168186604d1c47d14a601a2c0f0f8f025082
treea1ed26ceee9fdd4551695269467b9f8197730aac
parent29dd4e883e5229e550bd24e6f74ce82d63a1335b
[multiple changes]

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.

From-SVN: r192942
gcc/ada/ChangeLog
gcc/ada/Make-generated.in
gcc/ada/exp_dbug.adb
gcc/ada/gcc-interface/Make-lang.in
gcc/ada/xoscons.adb