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 /src/efi-boot-generator | |
| 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 'src/efi-boot-generator')
| -rw-r--r-- | src/efi-boot-generator/efi-boot-generator.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/efi-boot-generator/efi-boot-generator.c b/src/efi-boot-generator/efi-boot-generator.c index 58c4cc278a..4842286e2e 100644 --- a/src/efi-boot-generator/efi-boot-generator.c +++ b/src/efi-boot-generator/efi-boot-generator.c @@ -68,8 +68,10 @@ int main(int argc, char *argv[]) { return EXIT_SUCCESS; } - if (path_is_mount_point("/boot", true) <= 0 && - dir_is_empty("/boot") <= 0) { + r = path_is_mount_point("/boot", true); + if (r == -ENOENT) + log_debug("/boot does not exist, continuing."); + else if (r <= 0 && dir_is_empty("/boot") <= 0) { log_debug("/boot already populated, exiting."); return EXIT_SUCCESS; } |