Re: dri option?

[Patrick Welche <prlw1%cam.ac.uk@localhost>]

On Wed, Nov 17, 2021 at 01:26:55PM +0100, Tobias Nygren wrote:
> On Wed, 17 Nov 2021 09:19:16 +0000
> Patrick Welche <prlw1%cam.ac.uk@localhost> wrote:
> 
> > ERROR: This package has set PKG_FAIL_REASON:
> > ERROR: [bsd.options.mk] The following selected options are not supported: dri.
> 
> > Where does options dri come from?
> 
> /etc/mk.conf or stale WRKOBJDIR?

Silly: I assumed that if I had it in /etc/mk.conf it would appear
in show-options, but of course, not if it is invalid!

Thanks,

Patrick