diff options
Diffstat (limited to 'gcc/doc')
| -rw-r--r-- | gcc/doc/options.texi | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/doc/options.texi b/gcc/doc/options.texi index edab7a9..0a54183 100644 --- a/gcc/doc/options.texi +++ b/gcc/doc/options.texi @@ -71,7 +71,8 @@ name of the include file. @item A variable record to record any additional files that the -@file{options.c} file should include. This is useful to provide +@file{options.c} or @file{options-save.c} file should include. This +is useful to provide inline functions needed for target variables and/or @code{#ifdef} sequences to properly set up the initialization. These records have two fields: the string @samp{SourceInclude} and the name of the |