diff options
| -rw-r--r-- | src/efi-boot-generator/efi-boot-generator.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/efi-boot-generator/efi-boot-generator.c b/src/efi-boot-generator/efi-boot-generator.c index 4842286e2e..94d733261a 100644 --- a/src/efi-boot-generator/efi-boot-generator.c +++ b/src/efi-boot-generator/efi-boot-generator.c @@ -69,9 +69,13 @@ int main(int argc, char *argv[]) { } r = path_is_mount_point("/boot", true); + if (r > 0) { + log_debug("/boot is already a mount point, exiting."); + return EXIT_SUCCESS; + } if (r == -ENOENT) log_debug("/boot does not exist, continuing."); - else if (r <= 0 && dir_is_empty("/boot") <= 0) { + else if (dir_is_empty("/boot") <= 0) { log_debug("/boot already populated, exiting."); return EXIT_SUCCESS; } |