From 095588ef34618232a8696a2cdc2952f3fa4cc8aa Mon Sep 17 00:00:00 2001
From: Colin Watson <cjwatson@ubuntu.com>
Date: Fri, 29 Nov 2013 15:30:44 +0000
Subject: [PATCH] Consistently ignore GRUB_TIMEOUT if GRUB_HIDDEN_TIMEOUT is
 set

Pointed out by Vladimir Serbinenko.
---
 util/grub.d/00_header.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/util/grub.d/00_header.in b/util/grub.d/00_header.in
index 6e8eb8436..84d04999d 100644
--- a/util/grub.d/00_header.in
+++ b/util/grub.d/00_header.in
@@ -321,7 +321,7 @@ if [ x\$feature_timeout_style = xy ] ; then
   set timeout_style=$style
   set timeout=${1}
 elif sleep$verbose --interruptible ${1} ; then
-  set timeout=${2}
+  set timeout=0
 fi
 EOF
     else