remove lint library machinery
tools - gate/build tools
We should remove the makefile support for lint libraries, to avoid our makefiles being even more confusing by having apparently used support for what is now a no-op.
Updated by Electric Monk about 1 month ago
- Status changed from New to Closed
- % Done changed from 0 to 100
commit 241c90a06e8d1708235651863df515a2d522a03a Author: Richard Lowe <firstname.lastname@example.org> Date: 2020-05-04T20:57:13.000Z 12454 remove lint library machinery Reviewed by: Andy Fiddaman <email@example.com> Reviewed by: Gordon Ross <firstname.lastname@example.org> Approved by: Dan McDonald <email@example.com>