Remove lint support
authorTom Tromey <tom@tromey.com>
Mon, 2 Jul 2018 13:07:35 +0000 (07:07 -0600)
committerTom Tromey <tom@tromey.com>
Mon, 9 Jul 2018 14:03:49 +0000 (08:03 -0600)
commit14ccceb2e24df7defd5264ec3d078f79ecfa1b76
treed168e1183daaa52ea782245796ca37de88ba9813
parent5d3c3a68c3ffe37c06a7a8dad30c19241bd39f7a
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.
gdb/ChangeLog
gdb/Makefile.in