Bug#574617: grub-common: fix grub-set-default and savedefault

[Francois Gouget]

The attached patch (grub-common.diff) has no effect with the current 
versions of grub because when GRUB_DEFAULT=saved the generated code ends 
up looking as follows:

set default="${saved_entry}
if [ \${saved_entry} ]; then
  set default="\${saved_entry}"
fi

Also, this bug seems to be a duplicate of bug 574617 (although the 
latter should really be attached to grub-common instead). So I propose 
to close this bug.

-- 
Francois Gouget <fgouget at free.fr>              http://fgouget.free.fr/
            "Lotto: A tax on people who are bad at math." -- unknown
          "Windows: Microsoft's tax on computer illiterates." -- WE7U