Re: gawk: invalid read and write

[Jürgen Kahrs]

Andrew J. Schorr wrote:

> Hmmm, my patch assumes the log files match this shell pattern: log.[0-9]*.
> But I just realized that older versions of valgrind (e.g. 2.4.1)
> use a different naming convention: log.pid[0-9]*.  Is it worth
> changing the patch to support the older valgrind?

The implementation currently goes like

  awk '...'  log.[0-9]*

Wouldnt it be enough to just change it to

  awk '...'  log.[0-9]* log.pid[0-9]*