Re: GUB dist-check failure

[David Kastrup]

John Mandereau <address@hidden> writes:

> Le mercredi 22 août 2012 à 18:43 +0100, Graham Percival a écrit :
>> Presumably the script was tested with bash, but was being run with
>> sh or dash?  or something like that?
>
> I tested "make dist" succesfully on my system, but without being sure if
> sh on my distro would behave as bash or not...  Spaces in commannd
> outputs ùight also be a cause of this breakage... I'm reworking lines 43
> and 54 of GNUmakefile.in to get rid of bashisms and quoting command
> outputs, and will submit an issue ASAP after having checked "make dist".

And people wonder why I am queasy about taking last-minute build-system
changes into the stable branch.

-- 
David Kastrup