diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/tools/tinderbox/tinderbox.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/tools/tinderbox/tinderbox.pl b/tools/tools/tinderbox/tinderbox.pl index 2a4d7f4..d096d58 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 (CFLAGS=${ENV}{'CFLAGS'})"); + logstage("building world (CFLAGS=$ENV{'CFLAGS'})"); cd("$sandbox/src"); make('buildworld') or error("failed to build world"); |
