diff options
Diffstat (limited to 'docs/CommandGuide/opt.html')
| -rw-r--r-- | docs/CommandGuide/opt.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/CommandGuide/opt.html b/docs/CommandGuide/opt.html index b205209794..91650d66e8 100644 --- a/docs/CommandGuide/opt.html +++ b/docs/CommandGuide/opt.html @@ -88,14 +88,14 @@ writes its output to the standard output. Quiet mode. Do not print messages on whether the program was modified. <p> - <li> -load <plugin.so> + <li> -load <plugin> <br> - Load the dynamic object <plugin.so>. This object should register new + Load the dynamic object <plugin>. 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: <p> - <tt>opt -load <plugin.so> -help</tt> + <tt>opt -load <plugin> -help</tt> <p> <li> -p |