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

diff --git a/src/tests/filesys/extended/Make.tests b/src/tests/filesys/extended/Make.tests
index 1aeb8dd..2ba4d76 100644
--- a/src/tests/filesys/extended/Make.tests
+++ b/src/tests/filesys/extended/Make.tests
@@ -27,7 +27,7 @@ tests/filesys/extended/syn-rw_PUTFILES += tests/filesys/extended/child-syn-rw
 
 GETTIMEOUT = 60
 
-GETCMD = pintos -v -T $(GETTIMEOUT)
+GETCMD = pintos -v -k -T $(GETTIMEOUT)
 GETCMD += $(PINTOSOPTS)
 GETCMD += $(SIMULATOR)
 GETCMD += --fs-disk=$(FSDISK)