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;hp=93506894d5794e8c5e49f4600d5a51e3ad8092d7

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)