This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [PATCH] Remove old lint code
>>>>> "Simon" == Simon Marchi <simon.marchi@polymtl.ca> writes:
Simon> On 2018-07-29 17:29, Tom Tromey wrote:
>> This removes dead code that, according to the comments, existed to
>> placate lint. I don't think this has been relevant in a long time,
>> and certainly not since gdb switched to C++.
Simon> LGTM. Do you have any idea what lint tool that was?
No, but I assume just the old Unix "lint" program.
Tom