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

diff --git a/src/tests/filesys/base/Make.tests b/src/tests/filesys/base/Make.tests
index 8f008ff..e475222 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 = 300