X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2Fmmap-overlap.c;h=6153793911201b7342fe54c1639f14ff6b449d01;hb=2bda80fcb9f537f2b7a2d7e8df150823199b713b;hp=c4a06e67c0560cbce15a9187cc84070178472728;hpb=e23c0d5dc156a42b3f5169cbac692cfc4fb6394d;p=pintos-anon

diff --git a/grading/vm/mmap-overlap.c b/grading/vm/mmap-overlap.c
index c4a06e6..6153793 100644
--- 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++)