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

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