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/usage.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/usage.adb')
| -rw-r--r-- | gcc/ada/usage.adb | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb index 79aa648..99fb652 100644 --- a/gcc/ada/usage.adb +++ b/gcc/ada/usage.adb @@ -152,7 +152,7 @@ begin -- Line for -gnatC switch Write_Switch_Char ("C"); - Write_Line ("Generate CodePeer information (no code generation)"); + Write_Line ("Generate CodePeer intermediate format (no code generation)"); -- Line for -gnatd switch @@ -178,6 +178,11 @@ begin Write_Switch_Char ("ec=?"); Write_Line ("Specify configuration pragmas file, e.g. -gnatec=/x/f.adc"); + -- Line for -gnateC switch + + Write_Switch_Char ("eC"); + Write_Line ("Generate CodePeer messages (ignored without -gnatcC)"); + -- Line for -gnated switch Write_Switch_Char ("ed"); |