Add a global cmdline file

* main.c (argp_parser, main): Add the --kernel-pid option.
* main.h: Publish it.
* rootdir.c (rootdir_gc_cmdline): New function.

1 files changed, 1 insertions, 0 deletions

diff --git a/main.h b/main.h
index 361380b3..6ada229a 100644
--- a/main.h
+++ b/main.h
@@ -2,3 +2,4 @@
 extern int opt_clk_tck;
 extern mode_t opt_stat_mode;
 extern pid_t opt_fake_self;
+extern pid_t opt_kernel_pid;