diff options
| author | Dmitri Gribenko <gribozavr@gmail.com> | 2012-12-12 14:23:14 +0000 |
|---|---|---|
| committer | Dmitri Gribenko <gribozavr@gmail.com> | 2012-12-12 14:23:14 +0000 |
| commit | cd5eb17be65627a1bf4b1e87b0a79573ba23463d (patch) | |
| tree | 3f2749b9c5f296b9ffb9a48f0315d12f879301dd /docs/Bugpoint.rst | |
| parent | 527036d5ff4bcb1afe6e85cfab9a3d85dcc5db7b (diff) | |
| download | external_llvm-cd5eb17be65627a1bf4b1e87b0a79573ba23463d.zip external_llvm-cd5eb17be65627a1bf4b1e87b0a79573ba23463d.tar.gz external_llvm-cd5eb17be65627a1bf4b1e87b0a79573ba23463d.tar.bz2 | |
Documentation: use a 'console' highlighter for terminal output examples. This
gives a nicer output than 'bash'.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@169981 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs/Bugpoint.rst')
| -rw-r--r-- | docs/Bugpoint.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/Bugpoint.rst b/docs/Bugpoint.rst index 9ccf0cc..047129f 100644 --- a/docs/Bugpoint.rst +++ b/docs/Bugpoint.rst @@ -136,9 +136,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. |