On Fri, 7 Mar 2014 16:15:05 -0800 Eduardo A. Bustamante López wrote:
>On Fri, Mar 07, 2014 at 05:21:53PM +0100, Lars Wendler wrote:
>> Configuration Information
>> [Automatically generated, do not change]:
>> Machine: x86_64
>> OS: linux-gnu
>> Compiler: x86_6
Configuration Information
[Automatically generated, do not change]:
Machine: x86_64
OS: linux-gnu
Compiler: x86_64-pc-linux-gnu-gcc
Compilation CFLAGS: -DPROGRAM='bash' -DCONF_HOSTTYPE='x86_64'
-DCONF_OSTYPE='linux-gnu' -DCONF_MACHTYPE='x86_64-pc-linux-gnu'
-DCONF_VENDOR='pc' -DLOCALEDIR='/usr/