diff options
author | bstarynk <bstarynk@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-02-08 15:26:55 +0000 |
---|---|---|
committer | bstarynk <bstarynk@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-02-08 15:26:55 +0000 |
commit | 2fffb07a72d0755a559b08cfa30eb12d277daec1 (patch) | |
tree | 20d56621348a3b110462868858912c7fa9c996f0 /gcc/ada/ug_words | |
parent | 00d899d593b3ee0b57d64166bcbdb2c34bc40f0d (diff) | |
download | gcc-2fffb07a72d0755a559b08cfa30eb12d277daec1.tar.gz |
2013-02-08 Basile Starynkevitch <basile@starynkevitch.net>
MELT branch merged with trunk rev 195888 using svnmerge.py
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@195892 138bc75d-0d04-0410-961f-82ee72b054a4
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 10f03f5c6f3..77a36ca095f 100644 --- a/gcc/ada/ug_words +++ b/gcc/ada/ug_words @@ -74,6 +74,7 @@ gcc -c ^ GNAT COMPILE -gnateS ^ /SCO_OUTPUT -gnatet ^ /TARGET_DEPENDENT_INFO -gnateV ^ /PARAMETER_VALIDITY_CHECK +-gnateY ^ /IGNORE_STYLE_CHECKS_PRAGMAS -gnatE ^ /CHECKS=ELABORATION -gnatf ^ /REPORT_ERRORS=FULL -gnatF ^ /UPPERCASE_EXTERNALS |