diff options
| author | Brian Gaeke <gaeke@uiuc.edu> | 2003-10-19 17:37:12 +0000 |
|---|---|---|
| committer | Brian Gaeke <gaeke@uiuc.edu> | 2003-10-19 17:37:12 +0000 |
| commit | 768a318e3184938787a2544b6efb7a12db6567b7 (patch) | |
| tree | 8a4f513b195bd64149b6e748cd0a898b67fa5fd4 /docs/CommandGuide/bugpoint.html | |
| parent | 28dbfcefa45a7691928e731b6556b5cf5c1c44c4 (diff) | |
| download | external_llvm-768a318e3184938787a2544b6efb7a12db6567b7.zip external_llvm-768a318e3184938787a2544b6efb7a12db6567b7.tar.gz external_llvm-768a318e3184938787a2544b6efb7a12db6567b7.tar.bz2 | |
Take out extra paragraph tag.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@9259 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 4787589..7403ecf 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, |