Re: GUB target_cpu error

[Graham Percival]

On Sun, Nov 28, 2010 at 11:58:48PM +0100, Valentin Villenave wrote:
> On Sun, Nov 28, 2010 at 9:59 PM, Neil Puttock <address@hidden> wrote:
> > I'm on 64-bit and still get the same error.  The attached patch seems
> > to fix the problem, though it leads to another issue: Valentin's
> > original patch uses shopt, which doesn't work with my default shell
> > command; If I do the following,
> 
> Thanks for investigating this; I thought shopt was a bash built-in
> command, and therefore safe to use? Anyway, now I'll just have to try
> and understand how your patch works :)

Not everybody uses bash, though.  Ubuntu switched to dash a few
years ago; Debian is still working on that change.

I would be astonished if the same functionality couldn't be
reached using POSIX shell commands, which should work on any unix
shell.

- Graham