From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sat, 20 Nov 2004 02:32:28 +0000 (+0000)
Subject: Comment.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=43909869c5badf49423031847a8b19c1c0132ca2;p=pintos-anon

Comment.
---

diff --git a/grading/vm/Makefile.posix b/grading/vm/Makefile.posix
index ce25626..10d2c07 100644
--- a/grading/vm/Makefile.posix
+++ b/grading/vm/Makefile.posix
@@ -1,3 +1,8 @@
+# This makefile allows the VM tests to be compiled on a POSIX host
+# system.  It's easier to test them on a host than under Pintos.
+# Before and after using this Makefile, run `make clean' to ensure
+# that Pintos and host objects don't interfere with one another.
+
 SRCDIR = ../../src
 
 include $(SRCDIR)/Make.config