From: Ben Pfaff <blp@cs.stanford.edu>
Date: Thu, 11 Jan 2007 08:02:13 +0000 (+0000)
Subject: Set VERBOSE to empty string by default, which prevents an environment
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d4383b730ed8d6b53be9cfb79c6e77eb5cc9368c;p=pintos-anon

Set VERBOSE to empty string by default, which prevents an environment
variable named VERBOSE from causing trouble but still allows it to be
overridden by the user on the command line.  (Some of the Stanford
machines set VERBOSE=yes in the environment by default on log-in.)
---

diff --git a/src/tests/Make.tests b/src/tests/Make.tests
index 94367f6..76d63f6 100644
--- a/src/tests/Make.tests
+++ b/src/tests/Make.tests
@@ -48,6 +48,9 @@ $(foreach prog,$(PROGS),$(eval $(prog).output: $(prog)))
 $(foreach test,$(TESTS),$(eval $(test).output: $($(test)_PUTFILES)))
 $(foreach test,$(TESTS),$(eval $(test).output: TEST = $(test)))
 
+# Prevent an environment variable VERBOSE from surprising us.
+VERBOSE =
+
 TESTCMD = pintos -v -k -T $(TIMEOUT)
 TESTCMD += $(SIMULATOR)
 TESTCMD += $(PINTOSOPTS)