projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 29dd4e8) | patch
[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
treea1ed26ceee9fdd4551695269467b9f8197730aactree
parent29dd4e883e5229e550bd24e6f74ce82d63a1335bcommit | diff
[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 diff | blob | history
gcc/ada/Make-generated.in diff | blob | history
gcc/ada/exp_dbug.adb diff | blob | history
gcc/ada/gcc-interface/Make-lang.in diff | blob | history
gcc/ada/xoscons.adb diff | blob | history