diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-12-13 10:40:58 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-12-13 10:40:58 +0000 |
| commit | 4a172c0c16c3dea8971ee5eb1505d3c46ecb52d7 (patch) | |
| tree | b53100b51497dede67b8a55f080645b76ff2bad0 /gcc/ada/debug.adb | |
| parent | 8cb24ee7b48602e38439c174552e41f65088d50a (diff) | |
| download | gcc-4a172c0c16c3dea8971ee5eb1505d3c46ecb52d7.tar.gz | |
2007-12-06 Robert Dewar <dewar@adacore.com>
* xeinfo.adb: Remove warnings
* xnmake.adb: Remove warnings
* xsinfo.adb: Remove warnings
* xtreeprs.adb: Remove warnings
* xsnames.adb: Remove warnings
* a-ngcoar.adb: Fix typo.
* s-interr.adb: Minor reformatting
* env.c: Minor reformatting.
* g-bytswa.adb: Minor reformatting.
* g-rannum.ads: Minor documentation improvements
* s-tasinf-mingw.adb: Minor header fix
* a-clrefi.adb: Minor reformatting
* g-sttsne.ads: Minor documentation improvement
* g-sttsne-locking.ads: Minor documentation improvement
* g-soliop-solaris.ads: Minor documentation improvement
* g-soliop-mingw.ads: Minor documentation improvement
* g-soliop.ads: Minor documentation improvement
* exp_aggr.ads: Minor reformatting
* debug.adb: Add documentation for the gprbuild debug flags
* exp_ch2.adb: Use Nkind_In to simplify code throughout
* exp_pakd.adb: Minor reformatting
* g-altive.ads, g-alleve.adb: Remove assertions.
Add comment about minor differences between targets regarding
floating-point operations.
* g-thread.adb: Remove pragma unreferenced.
* lib.ads: Minor reformatting
* par-ch9.adb: Minor reformatting of error messages
* sem_case.adb: Minor reformatting
* s-fileio.adb: Minor reformattinng
* s-vmexta.ads: Minor typo
* vxaddr2line.adb:
Take into account 'Success' value as per new GNAT warning.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@130870 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/debug.adb')
| -rw-r--r-- | gcc/ada/debug.adb | 23 |
1 files changed, 16 insertions, 7 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index 9ea1c3f8a69..b4ab4c6e7da 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -623,14 +623,11 @@ package body Debug is -- dx Force the binder to read (and then ignore) the xref information -- in ali files (used to check that read circuit is working OK). - ------------------------------------------------------------ - -- Documentation for the Debug Flags used in package Make -- - ------------------------------------------------------------ - - -- Please note that such flags apply to all of Make clients, - -- such as gnatmake. + -------------------------------------------- + -- Documentation for gnatmake Debug Flags -- + -------------------------------------------- - -- dn Do not delete temporary files creates by Make at the end + -- dn Do not delete temporary files created by gnatmake at the end -- of execution, such as temporary config pragma files, mapping -- files or project path files. @@ -650,6 +647,18 @@ package body Debug is -- dw Prints the list of units withed by the unit currently explored -- during the main loop of Make.Compile_Sources. + --------------------------------------------- + -- Documentation for gprbuild Debug Flags -- + --------------------------------------------- + + -- dn Do not delete temporary files createed by gprbuild at the end + -- of execution, such as temporary config pragma files, mapping + -- files or project path files. + + -- 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. + -------------------- -- Set_Debug_Flag -- -------------------- |