diff options
author | Tom Tromey <tom@tromey.com> | 2018-07-02 07:07:35 -0600 |
---|---|---|
committer | Tom Tromey <tom@tromey.com> | 2018-07-09 08:03:49 -0600 |
commit | 14ccceb2e24df7defd5264ec3d078f79ecfa1b76 (patch) | |
tree | d168e1183daaa52ea782245796ca37de88ba9813 /gdb/cp-namespace.c | |
parent | 5d3c3a68c3ffe37c06a7a8dad30c19241bd39f7a (diff) | |
download | gdb-14ccceb2e24df7defd5264ec3d078f79ecfa1b76.zip gdb-14ccceb2e24df7defd5264ec3d078f79ecfa1b76.tar.gz gdb-14ccceb2e24df7defd5264ec3d078f79ecfa1b76.tar.bz2 |
Remove lint support
I don't think anyone uses lint any more, so this removes the support
for it from the Makefile.
gdb/ChangeLog
2018-07-09 Tom Tromey <tom@tromey.com>
* Makefile.in (LINT, LINTFLAGS, LINTFILES, lint): Remove.
Diffstat (limited to 'gdb/cp-namespace.c')
0 files changed, 0 insertions, 0 deletions