diff options
| author | Vincent Celier <celier@adacore.com> | 2014-08-01 08:34:02 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-08-01 10:34:02 +0200 |
| commit | 3849c2468667a5f15e6dae5ec9ef8a8d4d99cba2 (patch) | |
| tree | 100115cccc2eee78fbcc573f0a314fbc9d2692f5 /gcc/ada/debug.adb | |
| parent | 16b10ccc1f7d3deeaaa5b976fcbca04fba035e9c (diff) | |
| download | gcc-3849c2468667a5f15e6dae5ec9ef8a8d4d99cba2.zip gcc-3849c2468667a5f15e6dae5ec9ef8a8d4d99cba2.tar.gz gcc-3849c2468667a5f15e6dae5ec9ef8a8d4d99cba2.tar.bz2 | |
debug.adb: Remove doc for gnatmake/gprbuild switch -ds.
2014-08-01 Vincent Celier <celier@adacore.com>
* 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
Diffstat (limited to 'gcc/ada/debug.adb')
| -rw-r--r-- | gcc/ada/debug.adb | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index de649f4..94da8ec 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -214,7 +214,7 @@ package body Debug is -- dp Prints the contents of the Q used by Make.Compile_Sources -- dq Prints source files as they are enqueued and dequeued -- dr - -- ds Suppress exit message when compilation fails + -- ds -- dt Display time stamps when there is a mismatch -- du List units as their ali files are acquired -- dv @@ -801,10 +801,6 @@ package body Debug is -- used by routine Make.Compile_Sources. Useful to figure out the -- order in which sources are recompiled. - -- ds When one or more compilations compilation fail, gnatmake does not - -- issue an error message such as: - -- gnatmake: "/path/to/main.adb" compilation error - -- dt When a time stamp mismatch has been found for an ALI file, -- display the source file name, the time stamp expected and -- the time stamp found. @@ -824,10 +820,6 @@ package body Debug is -- of execution, such as temporary config pragma files, mapping -- files or project path files. - -- ds When one or more compilations compilation fail, gprbuild does not - -- issue the error message: - -- gprbuild: *** compilation phase failed - -- dt When a time stamp mismatch has been found for an ALI file, -- display the source file name, the time stamp expected and -- the time stamp found. |