1 files changed, 15 insertions, 0 deletions
diff --git a/tests/sys/kern/execve/execve_argc_helper.c b/tests/sys/kern/execve/execve_argc_helper.c
new file mode 100644
index 000000000000..519c96902fdf
--- /dev/null
+++ b/tests/sys/kern/execve/execve_argc_helper.c
@@ -0,0 +1,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);
+}