X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2FMake.progs;h=d191fa19cd01d5d4d06632d35c3f52f5b27a1741;hb=87dc8acfc9c75817ec5da0b53ada561df211f902;hp=7c18d951007e98ac5fedc6efca48baf705c880b3;hpb=f9b28332a41db1212c70c7dae6445f073a5012af;p=pintos-anon

diff --git a/grading/vm/Make.progs b/grading/vm/Make.progs
index 7c18d95..d191fa1 100644
--- a/grading/vm/Make.progs
+++ b/grading/vm/Make.progs
@@ -21,7 +21,7 @@ mmap_write_SRC = mmap-write.c
 mmap_exit_SRC = mmap-exit.c
 mmap_shuffle_SRC = mmap-shuffle.c arc4.c cksum.c
 
-PROGS = $(TESTS) child-linear child-sort
+PROGS = $(TESTS) child-linear child-sort child-mm-wrt
 child_linear_SRC = child-linear.c arc4.c
 child_sort_SRC = child-sort.c
-
+child_mm_wrt_SRC = child-mm-wrt.c