pintos-os.org Git - pintos-anon/blob - grading/userprog/wait-killed.c

   1 #include <stdio.h>
   2 #include <syscall.h>
   3
   4 int
   5 main (void)
   6 {
   7   printf ("(wait-killed) begin\n");
   8   printf ("(wait-killed) wait(exec()) = %d\n", wait (exec ("child-bad")));
   9   printf ("(wait-killed) end\n");
  10   return 0;
  11 }