tests/sys/kern/execve/execve_argc_helper.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

/*
 * This file is in the public domain.
 */

#include <sys/cdefs.h>

#include <stdio.h>

int
main(int argc, char **argv __unused)
{

	printf("%d\n", argc);
	return (0);
}