Pass KERNCONF on the command line rather than in the environment,

since the command line is included in the log.
This commit is contained in:
Dag-Erling Smørgrav 2003-02-13 21:19:20 +00:00
parent 9929cb456d
commit 0e01af7032

View File

@ -415,8 +415,7 @@ MAIN:{
# Build GENERIC if requested
if ($cmds{'generic'}) {
logstage("building generic kernel");
$ENV{'KERNCONF'} = "GENERIC";
spawn('/usr/bin/make', 'buildkernel')
spawn('/usr/bin/make', 'buildkernel', 'KERNCONF=GENERIC')
or error("failed to build generic kernel");
}
@ -427,8 +426,7 @@ MAIN:{
make('LINT')
or error("failed to generate lint config");
cd("$sandbox/src");
$ENV{'KERNCONF'} = "LINT";
spawn('/usr/bin/make', 'buildkernel')
spawn('/usr/bin/make', 'buildkernel', 'KERNCONF=LINT')
or error("failed to build lint kernel");
}