X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2Fchild-mm-wrt.c;h=b0794ec2690146706a720c9af17edc1549e5c6f8;hb=5780c9f434cca090f88463b7f0199d49b4ded288;hp=28a52c61825a216ca3b11b0f7fa372affc7d8969;hpb=b89f7b007a11fe99163f7328bb3bcd9df9ec08b0;p=pintos-anon

diff --git a/grading/vm/child-mm-wrt.c b/grading/vm/child-mm-wrt.c
index 28a52c6..b0794ec 100644
--- a/grading/vm/child-mm-wrt.c
+++ b/grading/vm/child-mm-wrt.c
@@ -30,7 +30,7 @@ main (void)
       return 1;
     }
 
-  if (!mmap (fd, ACTUAL, strlen (sample)))
+  if (mmap (fd, ACTUAL) == MAP_FAILED)
     {
       printf ("(child-mm-wrt) mmap() failed\n");
       return 1;