From 3849c2468667a5f15e6dae5ec9ef8a8d4d99cba2 Mon Sep 17 00:00:00 2001 From: Vincent Celier Date: Fri, 1 Aug 2014 08:34:02 +0000 Subject: debug.adb: Remove doc for gnatmake/gprbuild switch -ds. 2014-08-01 Vincent Celier * debug.adb: Remove doc for gnatmake/gprbuild switch -ds. * make.adb (List_Bad_Compilations): Use Opt.No_Exit_Message instead of Debug.Debug_Flag_S. * makeutl.adb (Finish_Program, Fail_Program): Use Opt flag No_Exit_Message instead of Debug.Debug_Flag_S to suppress exit error messages. * makeutl.ads (No_Exit_Message_Option): New constant string for switch --no-exit-message. * opt.ads (No_Exit_Message): New Boolean flag, defaulted to False. * switch-m.adb (Scan_Make_Switches): Recognize new switch --no-exit-message. From-SVN: r213424 --- gcc/ada/make.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'gcc/ada/make.adb') diff --git a/gcc/ada/make.adb b/gcc/ada/make.adb index 808ad00..05cb6f1 100644 --- a/gcc/ada/make.adb +++ b/gcc/ada/make.adb @@ -6948,7 +6948,7 @@ package body Make is procedure List_Bad_Compilations is begin - if not Debug.Debug_Flag_S then + if not No_Exit_Message then for J in Bad_Compilation.First .. Bad_Compilation.Last loop if Bad_Compilation.Table (J).File = No_File then null; -- cgit v1.1