+#include <stdio.h>
+#ifdef PINTOS
#include <syscall.h>
+#else
+#include "posix-compat.h"
+#endif
#define CHILD_CNT 3
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;
}
}