2015-11-25 Vincent Celier <celier@adacore.com>
commit559323109a4199620e04a1efc0578036554e4e23
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 25 Nov 2015 15:10:52 +0000 (25 15:10 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 25 Nov 2015 15:10:52 +0000 (25 15:10 +0000)
treee779966df341a0b8d579c693dc4abe59e319a575
parentdecb95fccf1417e1dfc71bd515b5be472b1b4145
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@230876 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/bcheck.adb
gcc/ada/gnatcmd.adb
gcc/ada/opt.adb