Fix typo.

[pintos-anon] / grading / vm / page-parallel.c

diff --git a/grading/vm/page-parallel.c b/grading/vm/page-parallel.c
index c2d8eb36ddeb1a095fcf97a0e2b421ebf4c1ac67..f1c3ce098627b7f1dfadff62d85d46b3cc84e137 100644 (file)
--- 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;
         }
     }