xref: /freebsd/tests/sys/kern/execve/execve_argc_helper.c (revision e5b431fc0c20771a2a18cb5169d75cf337d0f1dd)
1 /*
2  * This file is in the public domain.
3  */
4 
5 #include <sys/cdefs.h>
6 
7 #include <stdio.h>
8 
9 int
main(int argc,char ** argv __unused)10 main(int argc, char **argv __unused)
11 {
12 
13 	printf("%d\n", argc);
14 	return (0);
15 }
16