bug-make
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Feature request / patch: dependency-only prerequisites


From: Christof Warlich
Subject: Re: Feature request / patch: dependency-only prerequisites
Date: Sat, 4 Jan 2020 10:16:43 +0100
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.2.2

Am 03.01.20 um 21:25 schrieb Paul Smith:

On Fri, 2020-01-03 at 20:42 +0100, Christof Warlich wrote:
By the way, I stumbled into a minor issue entirely unrelated to the
feature above that you may want to fix: The gnulib git repository
referenced in bootstrap seems to have changed its location, so you may
want it to change it accordingly:
Hm.  Does the original not work?  The version I have is the same one that
is currently being distributed with the gnulib library; see:

http://git.savannah.gnu.org/cgit/gnulib.git/tree/build-aux/bootstrap

sv.gnu.org is a valid alias for savannah.gnu.org so unless the problem is
with the git protocol vs. https, it should work fine.

I would prefer to see this change made in gnulib's upstream copy if it is a
correct change, rather than in my copy.

The original doesen't work from my system (Debian Buster) at least:

$ ./bootstrap
./bootstrap: Bootstrapping from checked-out make sources...
./bootstrap: getting gnulib files...
Cloning into 'gnulib'...
fatal: unable to connect to git.sv.gnu.org:
git.sv.gnu.org[0: 209.51.188.201]: errno=Connection refused
git.sv.gnu.org[1: 2001:470:142:5::201]: errno=Cannot assign requested address

Although the host is obviously alife:

$ ping -c1 git.sv.gnu.org
PING git.sv.gnu.org (209.51.188.201) 56(84) bytes of data.
64 bytes from vcs0.savannah.gnu.org (209.51.188.201): icmp_seq=1 ttl=54 time=103 ms

--- git.sv.gnu.org ping statistics ---
1 packets transmitted, 1 received, 0% packet loss, time 0ms
rtt min/avg/max/mdev = 102.902/102.902/102.902/0.000 ms



reply via email to

[Prev in Thread] Current Thread [Next in Thread]