X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2FMakefile.posix;h=10d2c07491002b5e33943452c2984166a168e40f;hb=87dc8acfc9c75817ec5da0b53ada561df211f902;hp=ce25626f31e97a84142080718ba97b444e08b0c8;hpb=75efee76500d95f53adf73e178b4a9872d93f131;p=pintos-anon

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