Re: toolchain/18290 (lint has no lib equivalent of -d includedir)

[rillig%NetBSD.org@localhost]

Synopsis: lint has no lib equivalent of -d includedir

State-Changed-From-To: open->feedback
State-Changed-By: rillig%NetBSD.org@localhost
State-Changed-When: Mon, 07 Feb 2022 22:15:56 +0000
State-Changed-Why:
Why do you need this option?  According to xlint/xlint.c, the library
search path is initially empty, and as long as the option '-o' is not
given, is only filled by the option '-L', so it seems to me that the
library search path is under full control of the user.