diff options
Diffstat (limited to 'gcc/ada/debug.adb')
| -rw-r--r-- | gcc/ada/debug.adb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index a92542f..102c14d 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -698,6 +698,8 @@ package body Debug is -- df Only output file names, not path names, in log + -- dm Needs documentation ??? + -- 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. |