diff options
author | Tobias Hunger <tobias.hunger@gmail.com> | 2015-04-11 02:13:31 +0200 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2015-04-12 10:20:36 -0400 |
commit | 776c441941632c9bf0fb97a78e4127aff4a60e4e (patch) | |
tree | 501e449784d8a3d29d0f4d63cde0b0cb282f717d /man | |
parent | a61cc460e87f00f30ae5ab5097565a264247487c (diff) |
efi-boot-generator: Continue if /boot does not exist
/boot does not exist on a stateless system, so do not get
confused by that.
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions