diff options
| author | Jeremie Koenig <jk@jk.fr.eu.org> | 2010-08-23 05:19:19 +0000 |
|---|---|---|
| committer | Jeremie Koenig <jk@jk.fr.eu.org> | 2010-08-30 14:29:51 +0200 |
| commit | e3707dc9deb28d5144836032a54dbc028247835d (patch) | |
| tree | d480512d98e76f5e72d5238f286e5604172d303d /process.c | |
| parent | 0ef322973a8b9dc9c0f5ba8155ad780016f3654f (diff) | |
| download | hurd-e3707dc9deb28d5144836032a54dbc028247835d.tar.gz hurd-e3707dc9deb28d5144836032a54dbc028247835d.tar.bz2 hurd-e3707dc9deb28d5144836032a54dbc028247835d.zip | |
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.
Diffstat (limited to 'process.c')
0 files changed, 0 insertions, 0 deletions