From 787807c12070ebcc26ad230556abc8700ae682a3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Dag-Erling=20Sm=C3=B8rgrav?= Date: Thu, 18 Mar 2004 03:01:28 +0000 Subject: [PATCH] Braino in previous commit. --- tools/tools/tinderbox/tinderbox.pl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/tools/tinderbox/tinderbox.pl b/tools/tools/tinderbox/tinderbox.pl index 82ad9f9b11a5..2a4d7f443c63 100644 --- a/tools/tools/tinderbox/tinderbox.pl +++ b/tools/tools/tinderbox/tinderbox.pl @@ -549,7 +549,7 @@ MAIN:{ # Build GENERIC if requested if ($cmds{'generic'}) { - logstage("building generic kernel (COPTFLAGS=${ENV}{'COPTFLAGS'})"); + 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 (COPTFLAGS=${ENV}{'COPTFLAGS'})"); + logstage("building LINT kernel (COPTFLAGS=$ENV{'COPTFLAGS'})"); cd("$sandbox/src"); spawn('/usr/bin/make', 'buildkernel', 'KERNCONF=LINT') or error("failed to build lint kernel");