diff options
author | Ben Elliston <bje@gnu.org> | 2017-08-15 06:06:16 +1000 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2017-08-15 06:06:16 +1000 |
commit | 3073ac1d0b87b8e42f2b7eb427239d1053597f0b (patch) | |
tree | 97eb3c5aaf2b6250597afd1914fbb1af2ef1c475 /lib/framework.exp | |
parent | b8108df20a24e9a0dc5306ee2deac9e6c68c966e (diff) | |
download | dejagnu-3073ac1d0b87b8e42f2b7eb427239d1053597f0b.zip dejagnu-3073ac1d0b87b8e42f2b7eb427239d1053597f0b.tar.gz dejagnu-3073ac1d0b87b8e42f2b7eb427239d1053597f0b.tar.bz2 |
Fix bug reported by Andrey ``Bass'' Shcheglov.
* lib/framework.exp (open_logs): Set .xml filename correctly.
* runtest.exp: Remove xml_file_name var.
(usage): Update --xml option to not take an argument.
(load_tool_init): Likewise.
* doc/dejagnu.texi (Invoking runtest): Update documentation.
* doc/runtest.1: Likewise.
Diffstat (limited to 'lib/framework.exp')
-rw-r--r-- | lib/framework.exp | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/lib/framework.exp b/lib/framework.exp index b19b1f1..414351b 100644 --- a/lib/framework.exp +++ b/lib/framework.exp @@ -55,7 +55,6 @@ proc open_logs { } { global tool global sum_file global xml_file - global xml_file_name global xml if { ${tool} == "" } { @@ -65,10 +64,7 @@ proc open_logs { } { set sum_file [open [file join $outdir $tool.sum] w] if { $xml } { catch "file delete -force -- $outdir/$tool.xml" - if { ![string compare $xml_file_name ""] } { - set xml_file_name $tool.xml - } - set xml_file [open [file join $outdir $xml_file_name] w] + set xml_file [open [file join $outdir $tool.xml] w] xml_output "<?xml version=\"1.0\"?>" insertdtd xml_output "<testsuite>" |