Re: [Valgrind-users] Unique log filename

[Eliot M. <mo...@cs...>]

Ok, here's the patch to add the %s{script} form
to log-file expansion.  The script is run via
/bin/bash -c script, and its output replaces the
while %s form.  The max length my code allows
for the result is 500 characters, which seemed
enough for anything realistic.  Note that the
pid of the invoking valgrind will be the script's
PPID, etc.

If the "powers that be" think this might be
generally useful, then let me know how you would
prefer to receive the patch, and any tidying you
feel would be in order ...

Regards -- Eliot Moss