Get rid of unnecessary barrier. Improve comment.
[pintos-anon] / grading / userprog / wait-twice.c
1 #include <stdio.h>
2 #include <syscall.h>
3
4 int
5 main (void) 
6 {
7   pid_t child;
8   printf ("(wait-twice) begin\n");
9   child = exec ("child-simple");
10   printf ("(wait-twice) wait(exec()) = %d\n", wait (child));
11   wait (child);
12   printf ("(wait-twice) end\n");
13   return 0;
14 }