e2f8506e64cbd8c8422998665c6b03b104281649
[pintos-anon] / grading / userprog / exec-multiple.c
1 #include <stdio.h>
2 #include <syscall.h>
3
4 int
5 main (void) 
6 {
7   printf ("(exec-multiple) begin\n");
8   join (exec ("child-simple"));
9   join (exec ("child-simple"));
10   join (exec ("child-simple"));
11   join (exec ("child-simple"));
12   printf ("(exec-multiple) end\n");
13   return 0;
14 }