diff options
author | Jacob Bachmeyer <jcb62281@gmail.com> | 2018-11-25 14:51:33 +1100 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2018-11-25 14:51:33 +1100 |
commit | 0745c8becc00d6452aa1a7cd5c2a7b190458e244 (patch) | |
tree | 08298aa16bf98ad28d7ecba819ec5d69d77a4b03 | |
parent | 3cfacc8d4aaf17f5b146d65c92104b89529f3e00 (diff) | |
download | dejagnu-0745c8becc00d6452aa1a7cd5c2a7b190458e244.tar.gz dejagnu-0745c8becc00d6452aa1a7cd5c2a7b190458e244.tar.bz2 dejagnu-0745c8becc00d6452aa1a7cd5c2a7b190458e244.zip |
* lib/framework.exp: Clean up whitespace.
Signed-off-by: Ben Elliston <bje@gnu.org>
-rw-r--r-- | ChangeLog | 4 | ||||
-rw-r--r-- | lib/framework.exp | 8 |
2 files changed, 8 insertions, 4 deletions
@@ -1,3 +1,7 @@ +2018-11-25 Jacob Bachmeyer <jcb62281@gmail.com> + + * lib/framework.exp: Clean up whitespace. + 2018-11-25 Ben Elliston <bje@gnu.org> * config/gdb-comm.exp: Clean up whitespace. diff --git a/lib/framework.exp b/lib/framework.exp index 50ac757..9288cb9 100644 --- a/lib/framework.exp +++ b/lib/framework.exp @@ -42,7 +42,7 @@ proc insertdtd { } { <!ELEMENT result (#PCDATA)> <!ELEMENT name (#PCDATA)> <!ELEMENT prms_id (#PCDATA)> - <!ELEMENT summary (result, description, total)> + <!ELEMENT summary (result, description, total)> <!ELEMENT description (#PCDATA)> <!ELEMENT total (#PCDATA)> \]>" @@ -689,9 +689,9 @@ proc record_test { type message args } { # the output of the test can't be considered correct. if { $warning_threshold > 0 && $warncnt >= $warning_threshold || $perror_threshold > 0 && $errcnt >= $perror_threshold } { - verbose "Error/Warning threshold exceeded: \ - $errcnt $warncnt (max. $perror_threshold $warning_threshold)" - set type UNRESOLVED + verbose "Error/Warning threshold exceeded: \ + $errcnt $warncnt (max. $perror_threshold $warning_threshold)" + set type UNRESOLVED } incr_count $type |