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 /boot/private.h | |
| 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 'boot/private.h')
| -rw-r--r-- | boot/private.h | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/boot/private.h b/boot/private.h new file mode 100644 index 00000000..46362521 --- /dev/null +++ b/boot/private.h @@ -0,0 +1,25 @@ +/* Boot boots Subhurds. + + Copyright (C) 2017 Free Software Foundation, Inc. + + This file is part of the GNU Hurd. + + The GNU Hurd is free software; you can redistribute it and/or + modify it under the terms of the GNU General Public License as + published by the Free Software Foundation; either version 2, or (at + your option) any later version. + + The GNU Hurd is distributed in the hope that it will be useful, but + WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU + General Public License for more details. + + You should have received a copy of the GNU General Public License + along with the GNU Hurd. If not, see <http://www.gnu.org/licenses/>. */ + +#ifndef BOOT_PRIVATE_H +#define BOOT_PRIVATE_H + +int verbose; + +#endif /* BOOT_PRIVATE_H */ |