diff options
Diffstat (limited to 'gcc/ada/ug_words')
| -rw-r--r-- | gcc/ada/ug_words | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/ug_words b/gcc/ada/ug_words index 5e168d2..efa5356 100644 --- a/gcc/ada/ug_words +++ b/gcc/ada/ug_words @@ -85,6 +85,7 @@ gcc -c ^ GNAT COMPILE -gnatN ^ /INLINE=FULL -gnato ^ /CHECKS=OVERFLOW -gnatp ^ /CHECKS=SUPPRESS_ALL +-gnat-p ^ /CHECKS=UNSUPPRESS_ALL -gnatP ^ /POLLING -gnatR ^ /REPRESENTATION_INFO -gnatR0 ^ /REPRESENTATION_INFO=NONE |