X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Ftests%2FMake.tests;h=76d63f676cd838f76ffc20a75508ad377428ddca;hp=94367f69ed790b6415af002b4ca9048c84828efe;hb=4b24a90c8f8a3df1e226237a72b6bce166c28e7c;hpb=93506894d5794e8c5e49f4600d5a51e3ad8092d7

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)