diff options
Diffstat (limited to 'docs/CommandGuide/opt.html')
| -rw-r--r-- | docs/CommandGuide/opt.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/CommandGuide/opt.html b/docs/CommandGuide/opt.html index e71c24c599..b205209794 100644 --- a/docs/CommandGuide/opt.html +++ b/docs/CommandGuide/opt.html @@ -90,7 +90,7 @@ writes its output to the standard output. <li> -load <plugin.so> <br> - Load the dynamic object plugin.so. This object should register new + Load the dynamic object <plugin.so>. This object should register new optimization passes. Once loaded, the object will add new command line options to enable various optimizations. To see the new complete list of optimizations, use the -help and -load options together: |