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/switch-c.adb | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) (limited to 'gcc/ada/switch-c.adb') 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) -- cgit v1.1