X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2FMake.progs;h=b79216aa9d4dca94869004720c56f1d9445585fa;hb=58a1b6fe4dda6624ca7c4a4ac80bd894446e0939;hp=aa545b21f5b2c997cf5df7991d18f3716a8ce5a7;hpb=ff076af15fa93292b8843e76bd6bab7ac5421095;p=pintos-anon

diff --git a/grading/vm/Make.progs b/grading/vm/Make.progs
index aa545b2..b79216a 100644
--- a/grading/vm/Make.progs
+++ b/grading/vm/Make.progs
@@ -1,8 +1,10 @@
-TESTS = \
-	pt-grow-stack pt-big-stk-obj pt-bad-addr pt-write-code \
-	page-linear page-parallel page-merge-seq page-merge-par \
-	page-shuffle mmap-read mmap-close mmap-unmap mmap-overlap \
-	mmap-twice mmap-write mmap-exit mmap-shuffle
+# -*- makefile -*-
+
+TESTS = pt-grow-stack pt-big-stk-obj pt-bad-addr pt-write-code		\
+page-linear page-parallel page-merge-seq page-merge-par page-shuffle	\
+mmap-read mmap-close mmap-unmap mmap-overlap mmap-twice mmap-write	\
+mmap-exit mmap-shuffle
+
 pt_grow_stack_SRC = pt-grow-stack.c ../lib/arc4.c ../lib/cksum.c
 pt_big_stk_obj_SRC = pt-big-stk-obj.c ../lib/arc4.c ../lib/cksum.c
 pt_bad_addr_SRC = pt-bad-addr.c