X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2FMake.tests;fp=src%2Ftests%2FMake.tests;h=00b9097c8420b7bd2ddf2f22b019f9f0a4cac757;hb=fd4478592855e4cfea39f9797231fd7ba0ff01c4;hp=b60243f5c6bc7640fd2bc32bfa03c1833cbdaa7b;hpb=5069406f364ec47bbfd52bd11e896176134a8e2f;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))