Skip to content

mkdists fails as gmp URL has changed. #5

@ruurdjan

Description

@ruurdjan

Current build fails befause the link to gmp has changed from /gmp to /pub/gmp.
ftp://ftp.gmplib.org/pub/gmp/

The scripts downloads a '404 not found' response and tries to untar it. I suggest using the -f flag in curl to catch server error responses.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions