summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMiles Bader <miles@gnu.org>1996-01-23 21:36:47 +0000
committerMiles Bader <miles@gnu.org>1996-01-23 21:36:47 +0000
commitcb52a8deac6c5e7a54f5014def6a1787b0f6431e (patch)
tree51bd90f17f762c846661ad6054a7314f0b4bac12
parent07204c6815d9270dd74e40a6020d7d2172270c82 (diff)
(startup_options): Put boot options in a separate group with a header.
-rw-r--r--libdiskfs/opts-std-startup.c3
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