diff options
Diffstat (limited to 'extra/refind-efi/refind_include_more_shell_paths.patch')
| -rw-r--r-- | extra/refind-efi/refind_include_more_shell_paths.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/extra/refind-efi/refind_include_more_shell_paths.patch b/extra/refind-efi/refind_include_more_shell_paths.patch new file mode 100644 index 000000000..078322e1a --- /dev/null +++ b/extra/refind-efi/refind_include_more_shell_paths.patch @@ -0,0 +1,13 @@ +diff --git a/refind/main.c b/refind/main.c +index beac3bf..1a2cf58 100644 +--- a/refind/main.c ++++ b/refind/main.c +@@ -62,5 +62,5 @@ + #define SHELL_NAMES L"\\EFI\\tools\\shell.efi,\\EFI\\tools\\shellia32.efi,\\shellia32.efi" + #define DRIVER_DIRS L"drivers,drivers_ia32" + #else +-#define SHELL_NAMES L"\\EFI\\tools\\shell.efi" ++#define SHELL_NAMES L"\\EFI\\tools\\shell.efi,\\shell.efi" + #define DRIVER_DIRS L"drivers" + #endif + |