summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorBen Elliston <bje@gnu.org>2015-11-10 14:36:32 +1100
committerBen Elliston <bje@gnu.org>2015-11-10 14:36:32 +1100
commitd7401fea18aab6d9619a9c328da0f492115f4e39 (patch)
tree094dd9980a823e8315f09607dc4ab47a7d61df68 /doc
parent5aeb3bb605469deb7643587af7a269bc089cd922 (diff)
downloaddejagnu-d7401fea18aab6d9619a9c328da0f492115f4e39.tar.gz
dejagnu-d7401fea18aab6d9619a9c328da0f492115f4e39.tar.bz2
dejagnu-d7401fea18aab6d9619a9c328da0f492115f4e39.zip
* doc/user.xml: Fix runtest output formatting in <programlisting>.
Diffstat (limited to 'doc')
-rw-r--r--doc/user.xml11
1 files changed, 7 insertions, 4 deletions
diff --git a/doc/user.xml b/doc/user.xml
index 1270f5b..d4fefa1 100644
--- a/doc/user.xml
+++ b/doc/user.xml
@@ -46,11 +46,14 @@ runtest. The expected output is shown</para>
<programlisting>
dgt:~/dejagnu.test$ runtest
WARNING: Couldn't find the global config file.
-WARNING: No tool specified Test
-Run By dgt on Sun Nov 25 17:07:03 2001 Native configuration is i586-pc-linux-gnu
+WARNING: No tool specified
+Test Run By dgt on Sun Nov 25 17:07:03 2001
+Native configuration is i586-pc-linux-gnu
=== tests ===
-Schedule of variations: unix
-Running target unix Using /usr/share/dejagnu/baseboards/unix.exp as board description file for target.
+Schedule of variations:
+ unix
+Running target unix
+Using /usr/share/dejagnu/baseboards/unix.exp as board description file for target.
Using /usr/share/dejagnu/config/unix.exp as generic interface file for target.
ERROR: Couldn't find tool config file for unix.
=== Summary ===</programlisting>