diff options
Diffstat (limited to 'util/grub-mkconfig.in')
| -rw-r--r-- | util/grub-mkconfig.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/util/grub-mkconfig.in b/util/grub-mkconfig.in index 8a1bc0441..8752777e0 100644 --- a/util/grub-mkconfig.in +++ b/util/grub-mkconfig.in @@ -243,7 +243,8 @@ export GRUB_DEFAULT \ GRUB_ENABLE_CRYPTODISK \ GRUB_BADRAM \ GRUB_OS_PROBER_SKIP_LIST \ - GRUB_DISABLE_SUBMENU + GRUB_DISABLE_SUBMENU \ + GRUB_RECORDFAIL_TIMEOUT if test "x${grub_cfg}" != "x"; then rm -f "${grub_cfg}.new" |