projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ccaca7e) | patch
[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Wed, 25 Nov 2015 15:10:52 +0000 (16:10 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 25 Nov 2015 15:10:52 +0000 (16:10 +0100)
commit3429710e69836c0eb5cf71c2f22ec7c6ca073db7
treee779966df341a0b8d579c693dc4abe59e319a575tree
parentccaca7e9f03080b8707a978a51097858a64654e9commit | diff
[multiple changes]

2015-11-25  Vincent Celier  <celier@adacore.com>

* gnatcmd.adb: When <target>-gnat is called with switch -P
and a GPR tool is invoked, invoke the GPR tool with switch
--target=<target>.

2015-11-25  Hristian Kirtchev  <kirtchev@adacore.com>

* opt.adb, bcheck.adb: Minor reformatting.

From-SVN: r230876
gcc/ada/ChangeLog diff | blob | history
gcc/ada/bcheck.adb diff | blob | history
gcc/ada/gnatcmd.adb diff | blob | history
gcc/ada/opt.adb diff | blob | history