Re: linux-ppc harfbuzz GUB build error

[Hans Aikema]

> On 14 Dec 2016, at 18:22, Hans Aikema <address@hidden> wrote:
> 
> 
>> On 14 Dec 2016, at 14:56, Hans Aikema <address@hidden> wrote:
>> 
>> 
>>> On 14 Dec 2016, at 14:30, Masamichi Hosoda <address@hidden> wrote:
>>> 
>>>>>> 
> <..>
> will do some more digging inside autoconf to see if I can spot any reason why 
> CONFIG_SHELL would not be set in my case
> 
I ran into docker diskspace issues as mentioned on
https://forums.docker.com/t/no-space-left-on-device-error/10894/16

Decided to not be too picky on disk consumption and start over with a much 
larger docker storage volume (200G). As I had to start over I decided to first 
try and get a dockerized Ubuntu Xenial up-and-running and only when successful 
on that one start experimenting again with CentOS

If you’d like a CentOS validation build somewhere in between I could still do 
that, as I have the Dockerfiles available to build them as well; but for now I 
will first trial the docker-path with a Linux distro that has proven 
compatibility with GUB to rule out the possibility of Linux distro issues when 
failing to run GUB dockerized.