diff options
| -rw-r--r-- | boot/boot.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/boot/boot.c b/boot/boot.c index 94d60ef2..bef7efb3 100644 --- a/boot/boot.c +++ b/boot/boot.c @@ -306,6 +306,7 @@ main (int argc, char **argv, char **envp) char *bootfile; char c; struct sigvec vec = { read_reply, 0, 0}; + char *newargs; privileged_host_port = task_by_pid (-1); master_device_port = task_by_pid (-2); @@ -334,6 +335,11 @@ main (int argc, char **argv, char **envp) bootdevice = argv[3]; } + newargs = malloc (strlen (bootstrap_args) + 2); + strcpy (newargs, bootstrap_args); + strcat (newargs, "f"); + bootstrap_args = newargs; + if (index (bootstrap_args, 'k')) boot_like_kernel = 1; else if (index (bootstrap_args, 'p')) |