X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2FMakefile;h=7b3e7f32f4f60e3101be8bf0c6d214ab458a6287;hb=64af9d43cb2e90ee34f4bccce7bd38408a51feca;hp=47f010eaeabeb657d9a05d4fd378419512c02934;hpb=e23c0d5dc156a42b3f5169cbac692cfc4fb6394d;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