7
7
===================================================================
8
8
--- a/util/grub.d/10_linux.in
9
9
+++ b/util/grub.d/10_linux.in
11
11
"${GRUB_CMDLINE_LINUX} ${GRUB_CMDLINE_EXTRA} ${GRUB_CMDLINE_LINUX_DEFAULT}" \
13
13
if [ "x${GRUB_DISABLE_RECOVERY}" != "xtrue" ]; then