diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-12 14:26:34 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-12 14:26:34 +0100 |
| commit | 10c2c151f1204439e8b2698bf3369b8d2c29efbf (patch) | |
| tree | 80e49955bfd3f2d49c89a57866549b8b830d0bb6 /gcc/ada/debug.adb | |
| parent | 84e13614352202b592fd28fc12c18c07b5ae5d53 (diff) | |
| download | gcc-10c2c151f1204439e8b2698bf3369b8d2c29efbf.zip gcc-10c2c151f1204439e8b2698bf3369b8d2c29efbf.tar.gz gcc-10c2c151f1204439e8b2698bf3369b8d2c29efbf.tar.bz2 | |
[multiple changes]
2017-01-12 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch6.adb: Minor reformatting.
* spark_xrefs.ads: minor cleanup of comments for SPARK xrefs
2017-01-12 Bob Duff <duff@adacore.com>
* binde.adb (Forced): New reason for a dependence.
(Force_Elab_Order): Implementation of the new switch.
* binde.ads: Minor comment fixes.
* bindusg.adb: Add -f switch. Apparently, there was an -f switch
long ago that is no longer supported; removed comment about that.
* opt.ads (Force_Elab_Order_File): Name of file specified for
-f switch.
* switch-b.adb: Parse -f switch.
From-SVN: r244355
Diffstat (limited to 'gcc/ada/debug.adb')
0 files changed, 0 insertions, 0 deletions