boot: at least one of os_name_pretty or os_name exists in this block

Closes CID#1438933.

diff --git a/src/boot/efi/boot.c b/src/boot/efi/boot.c
index 938e5645f9d8b835cb62e0ce92d597f1c9e134aa..60305f07f9ceaf59dc05f44e5c9b7b70eb1e48e2 100644 (file)
--- a/src/boot/efi/boot.c
+++ b/src/boot/efi/boot.c
@@ -1988,8 +1988,8 @@ static VOID config_entry_add_linux(
                         path = PoolPrint(L"\\EFI\\Linux\\%s", f->FileName);
 
                         entry = config_entry_add_loader(config, device, LOADER_LINUX, f->FileName, 'l',
-                                                        os_name_pretty ? : (os_name ? : os_id), path,
-                                                        os_version ? : (os_version_id ? : os_build_id));
+                                                        os_name_pretty ?: os_name, path,
+                                                        os_version ?: (os_version_id ? : os_build_id));
 
                         FreePool(content);
                         content = NULL;