Problem with scan-tree-dump-times in dg.exp

[Diego Novillo]

On Mon, May 30, 2005 at 11:03:24AM -0600, Jeffrey A Law wrote:

> In this case I'd replace the .* with _5 and see if it matches
> properly.  If it does, then I'd tighten the wildcard.
> Something like p_[0-9]*
> 
Excellent, that worked.  I wonder why is dejagnu so fussy about
patterns.


Thanks.  Diego.