>>>>> "Luis" == Luis Machado <lgustavo@codesourcery.com> writes: Luis> Here's the updated patch. I escaped dot once (\.) instead of twice. So Luis> hopefully this is the correct way. I often get confused with escaping Luis> in dejagnu. This is ok. Thanks. Tom