[PATCH] Add option to remove duplicate command history entries

[Pedro Alves]

On 06/26/2015 03:30 PM, Patrick Palka wrote:

>>> +    gdb_test "print 0"
>>> +    gdb_test "print 1"
>>> +    gdb_test "print 2"
>>> +    gdb_test "print 1"
>>> +    gdb_test "print 1"
>>> +    gdb_test "print 2"
>>> +    gdb_test "print 3"
>>> +    gdb_test "print 3"
>>> +    gdb_test "print 4"
>>> +    gdb_test "print 1"
>>> +    gdb_test "print 2"
>>> +    gdb_test "print 3"
>>> +    gdb_test "print 4"
>>
>> Duplicate test names here.  This should catch all:
> 
> I could use some kind of loop over a list here I think, prefixing each
> test name with the index of the list.

Yeah, that would be fine.

Thanks,
Pedro Alves