Index: firmware/lib/vboot_kernel.c |
diff --git a/firmware/lib/vboot_kernel.c b/firmware/lib/vboot_kernel.c |
index 2fbcaa847c68ad16a1f8078be64c7e79bf26840e..87ed8747ce7add1db3d2bb475e468d9d19530151 100644 |
--- a/firmware/lib/vboot_kernel.c |
+++ b/firmware/lib/vboot_kernel.c |
@@ -167,7 +167,7 @@ int LoadKernel(LoadKernelParams* params) { |
if (rec_switch) |
boot_mode = kBootRecovery; |
- else if (BOOT_FLAG_DEV_FIRMWARE & params->boot_flags) |
+ else if (BOOT_FLAG_DEV_FIRMWARE & params->boot_flags) { |
if (!dev_switch) { |
/* Dev firmware should be signed such that it never boots with the dev |
* switch is off; so something is terribly wrong. */ |
@@ -176,7 +176,7 @@ int LoadKernel(LoadKernelParams* params) { |
goto LoadKernelExit; |
} |
boot_mode = kBootDev; |
- else { |
+ } else { |
/* Normal firmware */ |
boot_mode = kBootNormal; |
dev_switch = 0; /* Always do a fully verified boot */ |