diff options
| author | Chris Lattner <sabre@nondot.org> | 2003-10-19 17:37:33 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2003-10-19 17:37:33 +0000 |
| commit | e99e734b27d46444f5bd8f6d085b4e3f19002b09 (patch) | |
| tree | cfe58667bb0dada64810d99b02988d0e5287632f /docs/CommandGuide/bugpoint.html | |
| parent | 768a318e3184938787a2544b6efb7a12db6567b7 (diff) | |
A minor fix
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@9260 91177308-0d34-0410-b5e6-96231b3b80d8
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. |