On 12/21/2015 05:27 AM, Joel Brobecker wrote:
>> If it wasn't supposed to be correct, then it'd be good to add
>> an "error" call in gdb_test, to make it a hard error.
>>
>> But I think it is supposed to work.  At least
>>
>>   $ grep -rn "gdb_test "  | grep -v "\".*\".*\"" | grep -v "\\\\"
>>
>> shows many (hundreds) of instances.  With no explicit pattern,
>> we end up just matching the prompt, ignoring whatever output
>> precedes it.
>
> Yes, I confirm it is supposed to work, or at least it's been
> acknowledged to be that way for quite a while. The last time
> we discussed it is when we created gdb_test_no_output.

OK.  I think this tweak to the comments is obvious enough that I've gone 
ahead and checked it in.

-Sandra