Re: [Mingw-cross-env-list] Re: URL problems

[Tony Theodore]

On 2 May 2010 05:53, Tony Theodore <address@hidden> wrote:
> On 2 May 2010 05:22, Tony Theodore <address@hidden> wrote:
>> On 2 May 2010 04:09, Tony Theodore <address@hidden> wrote:
>>> On 2 May 2010 02:25, Volker Grabsch <address@hidden> wrote:
>>>> In fact, this is a good test case for the download system, and
>>>> in case it fails, that would be bug we'd have to fix. So don't
>>>> worry on that.
>>>
>>> I just tried a "make update" and am getting this error:
>>>
>>> NEW      gcc  4.5.0 --> 4.4.4
>>> NEW      gcc-gmp  4.3.0 --> 5.0.1
>>> Makefile:205: *** Unable to update version number of package gcc-mpc.  Stop.
>>>
>>> There isn't a log or any more details about the error.
>>
>> It seems to be a problem with wget and https:
>
> Atttached diff adds the --no-check-certificate to mpc and mpfr, and
> updates gmp and mpfr to latest versions.

Actually attach the file.

gmp-mpc-mpfr-versions.diff
Description: Text Data