diff options
| author | Miles Bader <miles@gnu.org> | 1996-01-23 21:36:47 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-01-23 21:36:47 +0000 |
| commit | cb52a8deac6c5e7a54f5014def6a1787b0f6431e (patch) | |
| tree | 51bd90f17f762c846661ad6054a7314f0b4bac12 | |
| parent | 07204c6815d9270dd74e40a6020d7d2172270c82 (diff) | |
(startup_options): Put boot options in a separate group with a header.
| -rw-r--r-- | libdiskfs/opts-std-startup.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/libdiskfs/opts-std-startup.c b/libdiskfs/opts-std-startup.c index a62a4d79..70163578 100644 --- a/libdiskfs/opts-std-startup.c +++ b/libdiskfs/opts-std-startup.c @@ -42,12 +42,13 @@ startup_options[] = { {"version", 'V'}, + {0,0,0,0, "Boot options:", -2}, {"host-priv-port", OPT_HOST_PRIV_PORT, "PORT"}, {"device-master-port", OPT_DEVICE_MASTER_PORT, "PORT"}, {"exec-server-task", OPT_EXEC_SERVER_TASK, "PORT"}, {"bootflags", OPT_BOOTFLAGS, "FLAGS"}, - {0, 0, 0, 0} + {0} }; static error_t |