diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-11-06 13:59:59 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-11-21 05:55:41 +0100 |
| commit | a99d8b562d74e3b08c88d52433914d9c1c6bd362 (patch) | |
| tree | cbc77993e3776cccfdd394bb97db9c47ab368732 /libports | |
| parent | 5133c8eb5d6564d037c9c7312ee4506c0d2e49a7 (diff) | |
boot: remove unused function `boot_script_read_file'
The unused function `boot_script_read_file' requires access to the
default pager, which is privileged.
* boot/boot.c (defpager): Remove now unused variable.
(boot_script_read_file): Remove unused function.
(main): Do not acquire port to the default pager.
* boot/boot_script.h (boot_script_read_file): Remove declaration.
Diffstat (limited to 'libports')
0 files changed, 0 insertions, 0 deletions