diff options
Diffstat (limited to 'docs/CompilerDriver.html')
| -rw-r--r-- | docs/CompilerDriver.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/CompilerDriver.html b/docs/CompilerDriver.html index 9ccf383fae..4d7cb371dc 100644 --- a/docs/CompilerDriver.html +++ b/docs/CompilerDriver.html @@ -363,7 +363,8 @@ for. Example:</p> (switch_option "E", (extern)) ... </pre> -<p>See also the section on plugin <a class="reference internal" href="#priorities">priorities</a>.</p> +<p>If an external option has additional attributes besides 'extern', they are +ignored. See also the section on plugin <a class="reference internal" href="#priorities">priorities</a>.</p> </div> </div> <div class="section" id="conditional-evaluation"> |