What is a library header?

Lint uses the designation "library" for those headers over which the programmer normally has no control -- such as compiler and third-party headers. Use the options +libclass, +libdir/-libdir, and +libh/-libhto specify which headers are library. You can then use the options -wlib, -elib, and -elibsymto control lint messages emanating from "library headers", without affecting the checking of your own code.

See Section 6.1 of the Reference Manual for further discussion and details.
Admin →