X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2Fpage-parallel.c;h=f1c3ce098627b7f1dfadff62d85d46b3cc84e137;hb=44effc6c9d8039df90154f2fed045ff2e96800da;hp=c2d8eb36ddeb1a095fcf97a0e2b421ebf4c1ac67;hpb=6399b258873072cdb546dff84c37e735cda25ac7;p=pintos-anon

diff --git a/grading/vm/page-parallel.c b/grading/vm/page-parallel.c
index c2d8eb3..f1c3ce0 100644
--- a/grading/vm/page-parallel.c
+++ b/grading/vm/page-parallel.c
@@ -1,4 +1,9 @@
+#include <stdio.h>
+#ifdef PINTOS
 #include <syscall.h>
+#else
+#include "posix-compat.h"
+#endif
 
 #define CHILD_CNT 3
 
@@ -15,7 +20,7 @@ main (void)
       children[i] = exec ("child-linear");
       if (children[i] == -1) 
         {
-          printf ("(page-parallel) exec() returned pid -1\n", children[i]);
+          printf ("(page-parallel) exec() returned pid -1\n");
           return 1;
         }
     }