diff options
Diffstat (limited to 'docs/CommandGuide')
| -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 4787589ad2..7403ecff99 100644 --- a/docs/CommandGuide/bugpoint.html +++ b/docs/CommandGuide/bugpoint.html @@ -147,7 +147,7 @@ non-obvious ways. Here are some hints and tips:<p> example, in the C shell, you can type:<br> <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.<p> + <tt>bugpoint.log</tt>, as well as on your terminal. <li><tt>bugpoint</tt> cannot debug problems with the linker. If <tt>bugpoint</tt> crashes before you see its "All input ok" message, |