diff options
author | des <des@FreeBSD.org> | 2004-05-15 00:08:44 +0000 |
---|---|---|
committer | des <des@FreeBSD.org> | 2004-05-15 00:08:44 +0000 |
commit | f700ddda9063babf3481730c3c41e04375a6ce2e (patch) | |
tree | c8cebac101263e6c067e0a96176afce19c99835c | |
parent | 574488a9ee484acace5aeb948a91bf741a29c5f7 (diff) | |
download | FreeBSD-src-f700ddda9063babf3481730c3c41e04375a6ce2e.zip FreeBSD-src-f700ddda9063babf3481730c3c41e04375a6ce2e.tar.gz |
If asked to build a kernel without first building world, build the
kernel toolchain first.
-rw-r--r-- | tools/tools/tinderbox/tinderbox.pl | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/tools/tools/tinderbox/tinderbox.pl b/tools/tools/tinderbox/tinderbox.pl index d096d58..6433d07 100644 --- a/tools/tools/tinderbox/tinderbox.pl +++ b/tools/tools/tinderbox/tinderbox.pl @@ -539,12 +539,17 @@ MAIN:{ } } - # Build the world + # Build the world, or at least the kernel toolchain if ($cmds{'world'}) { logstage("building world (CFLAGS=$ENV{'CFLAGS'})"); cd("$sandbox/src"); make('buildworld') or error("failed to build world"); + } elsif ($cmds{'generic'} || $cmds{'lint'}) { + logstage("building kernel toolchain (CFLAGS=$ENV{'CFLAGS'})"); + cd("$sandbox/src"); + make('kernel-toolchain') + or error("failed to build kernel toolchain"); } # Build GENERIC if requested |