X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2FMakefile;h=7b3e7f32f4f60e3101be8bf0c6d214ab458a6287;hb=24a570e28d45a8ec1dfb0e83abb78c488155e149;hp=47f010eaeabeb657d9a05d4fd378419512c02934;hpb=f9b28332a41db1212c70c7dae6445f073a5012af;p=pintos-anon diff --git a/grading/vm/Makefile b/grading/vm/Makefile index 47f010e..7b3e7f3 100644 --- a/grading/vm/Makefile +++ b/grading/vm/Makefile @@ -6,8 +6,11 @@ DISKS = $(patsubst %,%.dsk,$(TESTS)) disks: $(DISKS) -mmap-close.dsk mmap-exit.dsk mmap-read.dsk mmap-unmap.dsk: sample.txt +mmap-close.dsk mmap-read.dsk mmap-unmap.dsk mmap-twice.dsk: sample.txt +page-parallel.dsk: child-linear +page-merge-seq.dsk page-merge-par.dsk: child-sort mmap-overlap.dsk: zeros +mmap-exit.dsk: child-mm-wrt zeros: dd if=/dev/zero of=$@ bs=1024 count=6