From d277a3419379a68d03d1483eb351759ee4798bad Mon Sep 17 00:00:00 2001 From: des Date: Thu, 13 Feb 2003 21:19:20 +0000 Subject: Pass KERNCONF on the command line rather than in the environment, since the command line is included in the log. --- tools/tools/tinderbox/tinderbox.pl | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'tools') diff --git a/tools/tools/tinderbox/tinderbox.pl b/tools/tools/tinderbox/tinderbox.pl index c46a0bf..84ea096 100644 --- a/tools/tools/tinderbox/tinderbox.pl +++ b/tools/tools/tinderbox/tinderbox.pl @@ -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"); } -- cgit v1.1