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.
