X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2FMake.tests;fp=src%2Ftests%2FMake.tests;h=230e03af729c081789301318afaf3d5cbf4307d0;hb=f14d80c05e67af1545779f038d9f47dec2188fc3;hp=b98a75d33e65d460a565373d7682865551c7b448;hpb=a73846a929e431efc534f6ac60c99e914e131a4e;p=pintos-anon

diff --git a/src/tests/Make.tests b/src/tests/Make.tests
index b98a75d..230e03a 100644
--- a/src/tests/Make.tests
+++ b/src/tests/Make.tests
@@ -47,7 +47,7 @@ $(foreach prog,$(PROGS),$(eval $(prog).output: $(prog)))
 $(foreach test,$(TESTS),$(eval $(test).output: $($(test)_PUTFILES)))
 $(foreach test,$(TESTS),$(eval $(test).output: TEST = $(test)))
 
-TESTCMD = pintos -v -T $(TIMEOUT)
+TESTCMD = pintos -v -k -T $(TIMEOUT)
 TESTCMD += $(SIMULATOR)
 TESTCMD += $(PINTOSOPTS)
 ifeq ($(filter userprog, $(KERNEL_SUBDIRS)), userprog)