diff options
Diffstat (limited to 'gcc/doc/extend.texi')
| -rw-r--r-- | gcc/doc/extend.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/doc/extend.texi b/gcc/doc/extend.texi index 2417a73d..57cc6e1 100644 --- a/gcc/doc/extend.texi +++ b/gcc/doc/extend.texi @@ -10149,8 +10149,8 @@ option. @example #pragma GCC diagnostic warning "-Wformat" -#pragma GCC diagnostic error "-Walways-true" -#pragma GCC diagnostic ignored "-Walways-true" +#pragma GCC diagnostic error "-Wformat" +#pragma GCC diagnostic ignored "-Wformat" @end example Note that these pragmas override any command line options. Also, |