diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-11-25 16:10:52 +0100 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-11-25 16:10:52 +0100 |
commit | 3429710e69836c0eb5cf71c2f22ec7c6ca073db7 (patch) | |
tree | e779966df341a0b8d579c693dc4abe59e319a575 /gcc/ada/init.c | |
parent | ccaca7e9f03080b8707a978a51097858a64654e9 (diff) | |
download | gcc-3429710e69836c0eb5cf71c2f22ec7c6ca073db7.zip gcc-3429710e69836c0eb5cf71c2f22ec7c6ca073db7.tar.gz gcc-3429710e69836c0eb5cf71c2f22ec7c6ca073db7.tar.bz2 |
[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
Diffstat (limited to 'gcc/ada/init.c')
0 files changed, 0 insertions, 0 deletions