diff options
Diffstat (limited to 'docs/Bugpoint.rst')
| -rw-r--r-- | docs/Bugpoint.rst | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/docs/Bugpoint.rst b/docs/Bugpoint.rst index 9ccf0cc2d9d6..1a5fc8c02764 100644 --- a/docs/Bugpoint.rst +++ b/docs/Bugpoint.rst @@ -1,5 +1,3 @@ -.. _bugpoint: - ==================================== LLVM bugpoint tool: design and usage ==================================== @@ -136,9 +134,9 @@ non-obvious ways. Here are some hints and tips: It is often useful to capture the output of the program to file. For example, in the C shell, you can run: - .. code-block:: bash + .. code-block:: console - bugpoint ... |& tee bugpoint.log + $ bugpoint ... |& tee bugpoint.log to get a copy of ``bugpoint``'s output in the file ``bugpoint.log``, as well as on your terminal. |