diff options
author | des <des@FreeBSD.org> | 2003-02-13 21:19:20 +0000 |
---|---|---|
committer | des <des@FreeBSD.org> | 2003-02-13 21:19:20 +0000 |
commit | d277a3419379a68d03d1483eb351759ee4798bad (patch) | |
tree | 5881ea9c3547e75f543bf8948a11aa6a0b5ab5ee | |
parent | 02b9f17f74210b737f462acb7759acf7c73aff84 (diff) | |
download | FreeBSD-src-d277a3419379a68d03d1483eb351759ee4798bad.zip FreeBSD-src-d277a3419379a68d03d1483eb351759ee4798bad.tar.gz |
Pass KERNCONF on the command line rather than in the environment,
since the command line is included in the log.
-rw-r--r-- | tools/tools/tinderbox/tinderbox.pl | 6 |
1 files changed, 2 insertions, 4 deletions
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"); } |