diff options
Diffstat (limited to 'gcc/ada/gnat_ugn.texi')
| -rw-r--r-- | gcc/ada/gnat_ugn.texi | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index 365a4478a1d..b8539f03d47 100644 --- a/gcc/ada/gnat_ugn.texi +++ b/gcc/ada/gnat_ugn.texi @@ -4155,6 +4155,12 @@ Display full source path name in brief error messages. @cindex @option{-gnateG} (@command{gcc}) Save result of preprocessing in a text file. +@item ^-gnatei^/MAX_INSTANTIATIONS=^@var{nnn} +@cindex @option{-gnatei} (@command{gcc}) +Set maximum number of instantiations during compilation of a single unit to +@var{nnn}. This may be useful in increasing the default maximum of 8000 for +the rare case when a single unit legitimately exceeds this limit. + @item ^-gnateI^/MULTI_UNIT_INDEX=^@var{nnn} @cindex @option{-gnateI} (@command{gcc}) Indicates that the source is a multi-unit source and that the index of the |