diff options
Diffstat (limited to 'tools/tools/tinderbox/tinderbox.pl')
| -rw-r--r-- | tools/tools/tinderbox/tinderbox.pl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/tools/tinderbox/tinderbox.pl b/tools/tools/tinderbox/tinderbox.pl index 2be6ead..82ad9f9 100644 --- a/tools/tools/tinderbox/tinderbox.pl +++ b/tools/tools/tinderbox/tinderbox.pl @@ -541,7 +541,7 @@ MAIN:{ # Build the world if ($cmds{'world'}) { - logstage("building world"); + logstage("building world (CFLAGS=${ENV}{'CFLAGS'})"); cd("$sandbox/src"); make('buildworld') or error("failed to build world"); @@ -549,7 +549,7 @@ MAIN:{ # Build GENERIC if requested if ($cmds{'generic'}) { - logstage("building generic kernel"); + logstage("building generic kernel (COPTFLAGS=${ENV}{'COPTFLAGS'})"); cd("$sandbox/src"); spawn('/usr/bin/make', 'buildkernel', 'KERNCONF=GENERIC') or error("failed to build generic kernel"); @@ -569,7 +569,7 @@ MAIN:{ } } if ($cmds{'lint'}) { - logstage("building LINT kernel"); + logstage("building LINT kernel (COPTFLAGS=${ENV}{'COPTFLAGS'})"); cd("$sandbox/src"); spawn('/usr/bin/make', 'buildkernel', 'KERNCONF=LINT') or error("failed to build lint kernel"); |
