Framework.exp Patch

[David Dillon]

Hello,

   I have been working with Matt Bemis on dejagnu and I have a patch for
framework.exp attached


--
David Dillon                            email: address@hidden
Alpha Linux Group                       http://linux.iol.unh.edu/clp
InterOperablitiy Laboratory
121 Technology Dr.                      phone: (603) 862 - 0401
Durham, NH 03824

diff -urN dejagnu/lib/framework.exp dejagnu-me/lib/framework.exp
--- dejagnu/lib/framework.exp   Thu Nov 21 14:24:06 2002
+++ dejagnu-me/lib/framework.exp        Thu Jan  9 15:43:08 2003
@@ -47,14 +47,21 @@
 proc insertdtd { } {
     xml_output "<!DOCTYPE testsuite \[
 <!-- testsuite.dtd -->
-<!ELEMENT testsuite (test | summary)+>
+<!ELEMENT testsuite (id | test | summary)+>
+<!ELEMENT id (username, host, configuration, build, target, date )>
+  <!ELEMENT username           (#PCDATA)>
+  <!ELEMENT host               (#PCDATA)>
+  <!ELEMENT configuration      (#PCDATA)>
+  <!ELEMENT build              (#PCDATA)>
+  <!ELEMENT target             (#PCDATA)>
+  <!ELEMENT date               (#PCDATA)>
 <!ELEMENT test (input, output, result, name, prms_id )>
   <!ELEMENT input              (#PCDATA)>
   <!ELEMENT output             (#PCDATA)>
   <!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)>
 \]>"
@@ -67,8 +74,12 @@
     global outdir
     global tool
     global sum_file
+    global host_triplet
+    global build_triplet
+    global target_triplet
     global xml_file
     global xml
+    global date
     
     if { ${tool} ==  "" } {
        set tool testrun
@@ -81,6 +92,16 @@
         xml_output "<?xml version=\"1.0\"?>"
         insertdtd
         xml_output "<testsuite>"
+
+# insert <id> here
+        xml_output "  <id>"
+        xml_output "    <username>[getenv USER]</username>"
+        xml_output "    <host>[getenv HOSTNAME]</host>"
+        xml_output "    <configuration>$host_triplet</configuration>"
+        xml_output "    <build>$build_triplet</build>"
+        xml_output "    <target>$target_triplet</target>"
+        xml_output "    <date>[clock format [clock seconds] -format %Y-%m-%d\ 
%H:%M:%S]</date>"
+        xml_output "  </id>"
     }
     catch "exec rm -f $outdir/$tool.log"
     log_file -a "$outdir/$tool.log"