This repository has been archived on 2021-05-26. You can view files and clone it, but cannot push or open issues or pull requests.
OS/pintos-env/pintos/tests/userprog/no-vm/Make.tests

9 lines
277 B
Text
Raw Permalink Normal View History

# -*- makefile -*-
tests/userprog/no-vm_TESTS = tests/userprog/no-vm/multi-oom
tests/userprog/no-vm_PROGS = $(tests/userprog/no-vm_TESTS)
tests/userprog/no-vm/multi-oom_SRC = tests/userprog/no-vm/multi-oom.c \
tests/lib.c
tests/userprog/no-vm/multi-oom.output: TIMEOUT = 360