From 1530d333580859301dc57ca1a602d1ccd9cd594f Mon Sep 17 00:00:00 2001
From: Tom Gundersen <teg@jklm.no>
Date: Thu, 21 Nov 2013 12:35:46 +0100
Subject: [PATCH] efi-boot-generator: don't mount /boot eagerly

---
 src/efi-boot-generator/efi-boot-generator.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/efi-boot-generator/efi-boot-generator.c b/src/efi-boot-generator/efi-boot-generator.c
index 05b95ed..5e5c682 100644
--- a/src/efi-boot-generator/efi-boot-generator.c
+++ b/src/efi-boot-generator/efi-boot-generator.c
@@ -82,7 +82,7 @@ int main(int argc, char *argv[]) {
                 "[Mount]\n"
                 "Where=/boot\n"
                 "What=/dev/disk/by-partuuid/%02x%02x%02x%02x-%02x%02x-%02x%02x-%02x%02x-%02x%02x%02x%02x%02x%02x\n"
-                "Options=umask=0077\n",
+                "Options=umask=0077,noauto\n",
                 SD_ID128_FORMAT_VAL(id));
 
         free(name);