X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2FMake.tests;h=00b9097c8420b7bd2ddf2f22b019f9f0a4cac757;hb=50bb7d654c310cf66b300ef3b8b0f7b5bc3977ff;hp=b60243f5c6bc7640fd2bc32bfa03c1833cbdaa7b;hpb=f5dc6608c39a1ba7f92aec4ac7f04ec7281de6b4;p=pintos-anon

diff --git a/src/tests/Make.tests b/src/tests/Make.tests
index b60243f..00b9097 100644
--- a/src/tests/Make.tests
+++ b/src/tests/Make.tests
@@ -7,8 +7,11 @@ TESTS = $(foreach subdir,$(TEST_SUBDIRS),$($(subdir)_TESTS))
 
 include ../../Makefile.userprog
 
-PINTOSFLAGS += -v $(foreach file,$(PUTFILES),-p $(file) -a $(notdir $(file)))
+TIMEOUT = 60
+PINTOSFLAGS += -v -T $(TIMEOUT)						\
+	$(foreach file,$(PUTFILES),-p $(file) -a $(notdir $(file)))
 KERNELFLAGS += -q
+
 PINTOS = pintos $(PINTOSOPTS) $(PINTOSFLAGS) -- $(KERNELFLAGS)
 
 OUTPUTS = $(addsuffix .output,$(TESTS))