Get rid of unnecessary barrier. Improve comment.

[pintos-anon] / grading / vm / Make.progs

diff --git a/grading/vm/Make.progs b/grading/vm/Make.progs
index aa545b21f5b2c997cf5df7991d18f3716a8ce5a7..b79216aa9d4dca94869004720c56f1d9445585fa 100644 (file)
--- 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