Oops; forgot to update spec

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@4187
This commit is contained in:
Julian Seward 2005-07-19 14:59:41 +00:00
parent 59bfcbf43c
commit 129d751ff9

View File

@ -142,6 +142,13 @@ following in sequence:
That is, both the name of the environment variable and its value
are given.
* OPTIONALLY, if --xml-user-comment=STRING was given:
<usercomment>STRING</usercomment>
STRING is not escaped in any way, so that it itself may be a piece
of XML with arbitrary tags etc.
* The program and args: first those pertaining to Valgrind itself, and
then those pertaining to the program to be run under Valgrind (the
client):