Comment.

diff --git a/grading/vm/Makefile.posix b/grading/vm/Makefile.posix
index ce25626f31e97a84142080718ba97b444e08b0c8..10d2c07491002b5e33943452c2984166a168e40f 100644 (file)
--- 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