projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Some suggestions from "Waqar Mohsin" <wmohsin@gmail.com>
[pintos-anon]
/
src
/
tests
/
userprog
/
no-vm
/
Make.tests
diff --git
a/src/tests/userprog/no-vm/Make.tests
b/src/tests/userprog/no-vm/Make.tests
index 68ea1973a6a5a3bf2379ca94e900c1138fe4ffc4..7aaa53af705a0ed64bf05eab4bd0736c00102baf 100644
(file)
--- 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