[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
Showing
Please
register
or
sign in
to comment