diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-02-25 16:20:43 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-02-25 16:20:43 +0100 |
| commit | 592574f5b3a16a309e14ab8b75468a290df3b23a (patch) | |
| tree | 61c7ab59b7a64f9b268e3a6eebc9c9d04172a114 /gcc/ada/switch-c.adb | |
| parent | fe2194dfff5f72512520193c39566b875f0a3ae7 (diff) | |
| download | gcc-592574f5b3a16a309e14ab8b75468a290df3b23a.zip gcc-592574f5b3a16a309e14ab8b75468a290df3b23a.tar.gz gcc-592574f5b3a16a309e14ab8b75468a290df3b23a.tar.bz2 | |
[multiple changes]
2014-02-25 Arnaud Charlet <charlet@adacore.com>
* usage.adb (Usage): Add help on -gnateC.
* switch-c.adb (Scan_Front_End_Switches): Add handling of -gnateC.
* opt.ads (Generate_CodePeer_Messages): New flag.
* gnat_ugn.texi: Document new switch -gnateC.
2014-02-25 Ben Brosgol <brosgol@adacore.com>
* gnat_rm.texi: Corrected minor typos in Implementation Defined
Aspects.
* opt.ads: Minor reformatting.
From-SVN: r208140
Diffstat (limited to 'gcc/ada/switch-c.adb')
| -rw-r--r-- | gcc/ada/switch-c.adb | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/gcc/ada/switch-c.adb b/gcc/ada/switch-c.adb index 6848d61..e7e32eb 100644 --- a/gcc/ada/switch-c.adb +++ b/gcc/ada/switch-c.adb @@ -517,14 +517,11 @@ package body Switch.C is return; - -- -gnateC switch (CodePeer SCIL generation) + -- -gnateC switch (generate CodePeer messages) - -- Not enabled for now, keep it for later??? - -- use -gnatd.I only for now - - -- when 'C' => - -- Ptr := Ptr + 1; - -- Generate_SCIL := True; + when 'C' => + Ptr := Ptr + 1; + Generate_CodePeer_Messages := True; -- -gnated switch (disable atomic synchronization) |