diff options
author | Robert Dewar <dewar@adacore.com> | 2007-12-13 11:40:58 +0100 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2007-12-13 11:40:58 +0100 |
commit | 34a343e634c7b155a8553e45ffabd3f24f0765ec (patch) | |
tree | b53100b51497dede67b8a55f080645b76ff2bad0 /gcc/ada/debug.adb | |
parent | 9b998381423870a80e7479c7bdd4cf3ed48324a5 (diff) | |
download | gcc-34a343e634c7b155a8553e45ffabd3f24f0765ec.zip gcc-34a343e634c7b155a8553e45ffabd3f24f0765ec.tar.gz gcc-34a343e634c7b155a8553e45ffabd3f24f0765ec.tar.bz2 |
xeinfo.adb: Remove warnings
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.
From-SVN: r130870
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 9ea1c3f..b4ab4c6 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 -- -------------------- |