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?p=pintos-anon;a=commitdiff_plain;h=4b24a90c8f8a3df1e226237a72b6bce166c28e7c

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)