X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Ftests%2Ffilesys%2Fbase%2FMake.tests;h=e475222a4c9d7a1a1d5cc218e58210509a484add;hb=392931f3f604f0c8ceb7d97dba21c7fefa2a2187;hp=8f008ff19181f01e3e0792e213e99b2b6935849b;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;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