From: Ben Pfaff 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=4b24a90c8f8a3df1e226237a72b6bce166c28e7c;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)