diff options
Diffstat (limited to 'tools/llvmc')
| -rw-r--r-- | tools/llvmc/doc/LLVMC-Reference.rst | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/llvmc/doc/LLVMC-Reference.rst b/tools/llvmc/doc/LLVMC-Reference.rst index aa977039eb..4653e0e9d8 100644 --- a/tools/llvmc/doc/LLVMC-Reference.rst +++ b/tools/llvmc/doc/LLVMC-Reference.rst @@ -368,7 +368,8 @@ for. Example:: (switch_option "E", (extern)) ... -See also the section on plugin `priorities`__. +If an external option has additional attributes besides 'extern', they are +ignored. See also the section on plugin `priorities`__. __ priorities_ |