From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 8 Dec 2004 01:47:15 +0000 (+0000)
Subject: Mark as -*- makefile -*-
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7fff121f79d717fd58718ec04e0fface4ebb1791;p=pintos-anon

Mark as -*- makefile -*-
---

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