diff options
Diffstat (limited to 'docs/CommandGuide/bugpoint.html')
| -rw-r--r-- | docs/CommandGuide/bugpoint.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/CommandGuide/bugpoint.html b/docs/CommandGuide/bugpoint.html index 7403ecff99..e34112cf6a 100644 --- a/docs/CommandGuide/bugpoint.html +++ b/docs/CommandGuide/bugpoint.html @@ -145,7 +145,7 @@ non-obvious ways. Here are some hints and tips:<p> <li><tt>bugpoint</tt> can generate a lot of output and run for a long period of time. It is often useful to capture the output of the program to file. For example, in the C shell, you can type:<br> - <tt>bugpoint ..... |& tee bugpoint.log</tt> + <tt>bugpoint ..... |& tee bugpoint.log</tt> <br>to get a copy of <tt>bugpoint</tt>'s output in the file <tt>bugpoint.log</tt>, as well as on your terminal. |