From 592574f5b3a16a309e14ab8b75468a290df3b23a Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Tue, 25 Feb 2014 16:20:43 +0100 Subject: [multiple changes] 2014-02-25 Arnaud Charlet * 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 * gnat_rm.texi: Corrected minor typos in Implementation Defined Aspects. * opt.ads: Minor reformatting. From-SVN: r208140 --- gcc/ada/usage.adb | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'gcc/ada/usage.adb') 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"); -- cgit v1.1