More VM tests.

[pintos-anon] / grading / vm / mmap-overlap.c

diff --git a/grading/vm/mmap-overlap.c b/grading/vm/mmap-overlap.c
index c4a06e67c0560cbce15a9187cc84070178472728..6153793911201b7342fe54c1639f14ff6b449d01 100644 (file)
--- a/grading/vm/mmap-overlap.c
+++ b/grading/vm/mmap-overlap.c
@@ -14,6 +14,12 @@ main (void)
   size_t i;
   int fd[2];
 
+#ifndef PINTOS
+  printf ("Sorry, this test won't work on POSIX,\n"
+          "because POSIX will accept overlapping mmaps.\n");
+  abort ();
+#endif
+
   printf ("(mmap-overlap) begin\n");
 
   for (i = 0; i < 2; i++)