X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2Fmmap-overlap.c;h=6153793911201b7342fe54c1639f14ff6b449d01;hb=75efee76500d95f53adf73e178b4a9872d93f131;hp=c4a06e67c0560cbce15a9187cc84070178472728;hpb=f9b28332a41db1212c70c7dae6445f073a5012af;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++)