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/opt.ads | |
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/opt.ads')
-rw-r--r-- | gcc/ada/opt.ads | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads index e2a97e2d434..9beeb583523 100644 --- a/gcc/ada/opt.ads +++ b/gcc/ada/opt.ads @@ -1181,6 +1181,11 @@ package Opt is -- Set to True if the tool should not have any output if there are no -- errors or warnings. + Overriding_Renamings : Boolean := False; + -- GNAT + -- Set to True to enable compatibility mode with Rational compiler, and + -- to accept renamings of implicit operations in their own scope. + Replace_In_Comments : Boolean := False; -- GNATPREP -- Set to True if -C switch used |