projects
/
pintos-anon
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
863785dca9cb68537872b1ad7790a1593f2ccabc
[pintos-anon]
/
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
}