pintos-os.org Git - pintos-anon/blob - grading/userprog/args-argv0.c

   1 #include <debug.h>
   2 #include <stdio.h>
   3 #include <syscall.h>
   4
   5 int
   6 main (int argc UNUSED, char *argv[])
   7 {
   8   printf ("(args-argv0) argv[0] = '%s'\n", argv[0]);
   9   return 0;
  10 }