X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2Fno-vm%2FMake.tests;h=7aaa53af705a0ed64bf05eab4bd0736c00102baf;hb=f0563386a8c672a1460473b0b4b175e74eaf5c5c;hp=68ea1973a6a5a3bf2379ca94e900c1138fe4ffc4;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;p=pintos-anon diff --git a/src/tests/userprog/no-vm/Make.tests b/src/tests/userprog/no-vm/Make.tests index 68ea197..7aaa53a 100644 --- a/src/tests/userprog/no-vm/Make.tests +++ b/src/tests/userprog/no-vm/Make.tests @@ -6,4 +6,4 @@ tests/userprog/no-vm/multi-oom_SRC = tests/userprog/no-vm/multi-oom.c \ tests/lib.c tests/userprog/no-vm/multi-oom_ARGS = 0 - +tests/userprog/no-vm/multi-oom.output: TIMEOUT = 180