Re: Port build failure in stage-qa,Port build failure in stage-qa

[Stefan Esser]

Am 11.11.20 um 23:48 schrieb Yasuhiro KIMURA:

From: Stefan Esser <s...@freebsd.org>
Subject: Port build failure in stage-qa,Port build failure in stage-qa
Date: Wed, 11 Nov 2020 21:56:49 +0100

Since DEVELOPER=yes cannot be overridden on the command line, I'll
have to remove it from make.conf to get a kernel with matching
modules installed.

I add following lines in make.conf.

----------------------------------------------------------------------
.ifndef NO_DEVELOPER
DEVELOPER=yes
.endif
----------------------------------------------------------------------

And developer mode can be disabled from command line with

% make NO_DEVELOPER=yes

Just FYI.

Thank you! I should have got to this solution myself ;-)

Such an override should probably exist in the port system's
Makefiles, but your work-around resolves the issue I had.

Best regards, STefan

OpenPGP_signature
Description: OpenPGP digital signature