merge soc07 r5077:5080 - Adding 'extrainfo' in the taskbegin/taskend XML elements for the SPM additional info

This commit is contained in:
fyodor 2007-08-11 05:11:08 +00:00
parent ed8b7899a0
commit f0e99644a7
2 changed files with 8 additions and 2 deletions

View file

@ -105,6 +105,7 @@
<!ATTLIST taskbegin
task CDATA #REQUIRED
time %attr_numeric; #REQUIRED
extrainfo CDATA #IMPLIED
>
<!-- this element is written in timing.c:printStats() -->
@ -122,6 +123,7 @@
<!ATTLIST taskend
task CDATA #REQUIRED
time %attr_numeric; #REQUIRED
extrainfo CDATA #IMPLIED
>
<!--