diff options
author | Dag-Erling Smørgrav <des@FreeBSD.org> | 2003-02-13 21:19:20 +0000 |
---|---|---|
committer | Dag-Erling Smørgrav <des@FreeBSD.org> | 2003-02-13 21:19:20 +0000 |
commit | 0e01af703223217c42d9967087b56286f5df1f13 (patch) | |
tree | 5881ea9c3547e75f543bf8948a11aa6a0b5ab5ee /tools | |
parent | 9929cb456da90b5e1c1d0e5e090691436ccf77fc (diff) | |
download | src-test2-0e01af703223217c42d9967087b56286f5df1f13.tar.gz src-test2-0e01af703223217c42d9967087b56286f5df1f13.zip |
Notes
Diffstat (limited to 'tools')
-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 c46a0bf8342c..84ea09689705 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"); } |