diff options
| author | klaar36 <klas.arvidsson@liu.se> | 2016-05-04 14:45:21 +0200 |
|---|---|---|
| committer | klaar36 <klas.arvidsson@liu.se> | 2016-05-04 14:45:21 +0200 |
| commit | a6629a29311ec0306284370179f3f1c7bc671235 (patch) | |
| tree | 6813b4b4282f674c2f4f9da6f340bec747494358 /src/tests | |
| parent | a2a9484bee39f2cac6253f4d6ae3234f71107f5b (diff) | |
| download | pintos-rs-a6629a29311ec0306284370179f3f1c7bc671235.tar.gz | |
increase interrupt frequency in tests
Diffstat (limited to 'src/tests')
| -rw-r--r-- | src/tests/Make.tests | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tests/Make.tests b/src/tests/Make.tests index bcaa2d1..a9a4459 100644 --- a/src/tests/Make.tests +++ b/src/tests/Make.tests @@ -85,7 +85,7 @@ endif ifeq ($(filter vm, $(KERNEL_SUBDIRS)), vm) TESTCMD += --swap-disk=4 endif -TESTCMD += -- -q +TESTCMD += -- -F=10000 -q TESTCMD += $(KERNELFLAGS) ifeq ($(filter userprog, $(KERNEL_SUBDIRS)), userprog) TESTCMD += -f |