diff options
| author | Justus Winter <justus@gnupg.org> | 2017-02-28 17:57:37 +0100 |
|---|---|---|
| committer | Justus Winter <justus@gnupg.org> | 2017-02-28 18:02:40 +0100 |
| commit | 5ac0c5c8e2e13217aabe7dd6e91ff218d0db6346 (patch) | |
| tree | 7f6da331d141f618c13c6862843d394776dff3cd /libports/interrupt-rpcs.c | |
| parent | 9beba9b6d168f59eeb74859ab5d88d9cabfe6f37 (diff) | |
| download | hurd-5ac0c5c8e2e13217aabe7dd6e91ff218d0db6346.tar.gz hurd-5ac0c5c8e2e13217aabe7dd6e91ff218d0db6346.tar.bz2 hurd-5ac0c5c8e2e13217aabe7dd6e91ff218d0db6346.zip | |
boot: Add a verbose option.
* boot/boot.c (verbose): New variable.
(options): New option.
(parse_opt): Handle new option.
(ds_device_open): Be verbose if so desired.
(task_died): Likewise.
(S_mach_notify_new_task): Likewise.
* boot/userland-boot.c (boot_script_task_create): Likewise.
(boot_script_task_resume): Likewise.
* boot/private.h: New file.
Diffstat (limited to 'libports/interrupt-rpcs.c')
0 files changed, 0 insertions, 0 deletions