diff options
author | Ben Elliston <bje@gnu.org> | 2015-11-10 14:36:32 +1100 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2015-11-10 14:36:32 +1100 |
commit | d7401fea18aab6d9619a9c328da0f492115f4e39 (patch) | |
tree | 094dd9980a823e8315f09607dc4ab47a7d61df68 /doc | |
parent | 5aeb3bb605469deb7643587af7a269bc089cd922 (diff) | |
download | dejagnu-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.xml | 11 |
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> |