X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Ffilesys%2Fbase%2FMake.tests;h=8e0837f60089a5df31aa5aac2cec8d36daf39f74;hb=2341951d97bbec5534af6f14452837bcd6a65687;hp=8f008ff19181f01e3e0792e213e99b2b6935849b;hpb=f3748f9fb653d45c2feae78facddd759f85d7d71;p=pintos-anon

diff --git a/src/tests/filesys/base/Make.tests b/src/tests/filesys/base/Make.tests
index 8f008ff..8e0837f 100644
--- a/src/tests/filesys/base/Make.tests
+++ b/src/tests/filesys/base/Make.tests
@@ -14,3 +14,5 @@ $(foreach prog,$(tests/filesys/base_TESTS),			\
 
 tests/filesys/base/syn-read_PUTFILES = tests/filesys/base/child-syn-read
 tests/filesys/base/syn-write_PUTFILES = tests/filesys/base/child-syn-wrt
+
+tests/filesys/base/syn-read.output: TIMEOUT = 120