Given the impact of CFLAGS and COPTFLAGS on the build, report them in

the log, even when not verbose.

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");