X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2FMakefile.posix;h=10d2c07491002b5e33943452c2984166a168e40f;hb=a82e6fa3ef7f96e7b4cf885e790f3b545218c846;hp=ce25626f31e97a84142080718ba97b444e08b0c8;hpb=f9b28332a41db1212c70c7dae6445f073a5012af;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