diff options
| author | klaar36 <klas.arvidsson@liu.se> | 2016-05-09 18:10:23 +0200 |
|---|---|---|
| committer | klaar36 <klas.arvidsson@liu.se> | 2016-05-09 18:10:23 +0200 |
| commit | c4e42961e885612ca2b84dd0246d09b86aad2b97 (patch) | |
| tree | 3fd5665708f3ddf6a534d1dde53a3773b58d4013 /src/tests/Make.tests | |
| parent | c71baf223e8de56d8cef3814952d704987125ce2 (diff) | |
| download | pintos-rs-c4e42961e885612ca2b84dd0246d09b86aad2b97.tar.gz | |
pfs test
Diffstat (limited to 'src/tests/Make.tests')
| -rw-r--r-- | src/tests/Make.tests | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/tests/Make.tests b/src/tests/Make.tests index a9a4459..5105d0d 100644 --- a/src/tests/Make.tests +++ b/src/tests/Make.tests @@ -85,7 +85,12 @@ endif ifeq ($(filter vm, $(KERNEL_SUBDIRS)), vm) TESTCMD += --swap-disk=4 endif -TESTCMD += -- -F=10000 -q +TESTCMD += -- -q +# klaar@ida 2016-05: new kernel flag +ifeq ($(filter -F=%, $(KERNELFLAGS)),) +# BUG: Why is this not filtered out? +TESTCMD += -F=10000 +endif TESTCMD += $(KERNELFLAGS) ifeq ($(filter userprog, $(KERNEL_SUBDIRS)), userprog) TESTCMD += -f |